Language, Proof and Logic (Book & CD-ROM)
Douban
Jon Barwise
/
John Etchemendy
publishing house:
Center for the Study of Language and Inf
2002
- 4