读过《Language, Proof and Logic (Book & CD-ROM)》很简单很好玩的一本形式逻辑入门书
Book
Language, Proof and Logic (Book & CD-ROM)
Douban
Jon Barwise
/
John Etchemendy
publishing house:
Center for the Study of Language and Inf
2002
- 4