江汉大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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.

豆瓣简介：