MARC状态：审校 文献类型：西文图书 浏览次数：26
- 题名/责任者:
- 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. + 1 CD-ROM (4 3/4 in.) with LPL software manual.
- 个人责任者:
- Barwise, Jon.
- 附加个人名称:
- Etchemendy, John, 1952-
- 附加个人名称:
- Allwein, Gerard, 1956-
- 附加个人名称:
- Barker-Plummer, Dave.
- 附加个人名称:
- Liu, Albert, 1966-
- 论题主题:
- 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.
- 系统细节附注:
- System requirements: Macintosh computers or PCs equipped with Microsoft Windows 95, 98, or NT 4.0.
全部MARC细节信息>>