Language, Proof and Logicby Jon Barwise; John Etchemendy;LPL Software Manualby Gerard Allwein; Dave Barker-Plummer; Jon Barwise; John Etchemendy; Albert Liu
- 期刊名称The Bulletin of Symbolic Logic
- 作者Review by: Patrick Grim
- 卷第7卷
- 期第3期
- 印刷ISSN1079-8986
- 文件大小436.99KB
- 发表时间2001-09
- DOI10.2307/2687756
- 页码377-379