MARC状态:已编 文献类型:西文图书 浏览次数:46
- 题名/责任者:
- Language, proof, and logic / Jon Barwise and John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu.
- 出版发行项:
- Stanford, Calif. : CSLI Publications, 2000.
- ISBN:
- 1889119083 (pbk. : alk. paper)
- 载体形态项:
- xi, 587 p. : ill. ; 24 cm.
- 个人责任者:
- Barwise, Jon.
- 附加个人名称:
- Etchemendy, John, 1952-
- 附加个人名称:
- Allwein, Gerard, 1956-
- 附加个人名称:
- Barker-Plummer, Dave.
- 论题主题:
- Logic.
- 中图法分类号:
- B81
- 一般附注:
- "This manual contains instructions for the applications Submit, Tarski's World, Fitch, and Boole. These four applications ard designed to be used with the textbook and are contained on the CD-ROM" -- LPL software manual.
全部MARC细节信息>>