机读格式显示(MARC)

• 000 01289pam 2200313 a 4500

• 001 0000444657

• 003 CAL

• 005 20041027145400.0

• 008 041027s2000 caua 001 0 eng

• 010 __ |a 99041113

• 020 __ |a 1889119083 (pbk. : alk. paper)

• 040 __ |a DLC |c DLC

• 050 00 |a BC61 |b . B38 1999

• 082 00 |a 160 |2 21

• 090 __ |a B81/B296

• 093 __ |a B81 |2 4

• 099 __ |a CAL 022002001851

• 100 1_ |a Barwise, Jon.

• 245 10 |a Language, proof, and logic / |c Jon Barwise and John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu.

• 260 __ |a Stanford, Calif. : |b CSLI Publications, |c 2000.

• 300 __ |a xi, 587 p. : |b ill. ; |c 24 cm. + |e 1 CD-ROM (4 3/4 in.) with LPL software manual.

• 500 __ |a "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.

• 538 __ |a System requirements: Macintosh computers or PCs equipped with Microsoft Windows 95, 98, or NT 4.0.

• 650 _0 |a Logic.

• 700 1_ |a Etchemendy, John, |d 1952-

• 700 1_ |a Allwein, Gerard, 1956-

• 700 1_ |a Barker-Plummer, Dave.

• 700 1_ |a Liu, Albert, |d 1966-

• 950 __ |a JHUL |b B81 |c B296