Start Over Please hold this item Export MARC Display Return To Browse
 
     
Limit search to available items
Record: Previous Record Next Record
Author Barker-Plummer, Dave.
Title Language, proof, and logic.
Publication Info Stanford, Calif. : CSLI Publications, 2011.
Edition 2nd ed. / Dave Barker-Plummer, Jon Barwise & John Etchemendy ; in collaboration with Albert Liu, Michael Murray, Emma Pease.


LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC71 .B25 2011  8 WEEK LOAN  AVAILABLE
 BJL Reading Room  BC71 .B25 2011  CD-ROM + software manual  7 DAYS  ASK at the Reading Room
 BJL 3rd Floor  BC71 .B25 2011  8 WEEK LOAN  AVAILABLE
1 copy being processed for BJL.
Persistent link to this item
Click link and copy URL from browser navigation toolbar

Descript xiii, 606 p. : ill. ; 25 cm. + 1 CD-ROM (4.75 in.) + Software manual (vii, 56 p. ; 22 cm.)
Edition 2nd ed. / Dave Barker-Plummer, Jon Barwise & John Etchemendy ; in collaboration with Albert Liu, Michael Murray, Emma Pease.
Note Rev. ed. of: Language, proof, and logic / Jon Barwise & John Etchemendy. c2002.
Accompanying CD-ROM contains: updated version of Tarski's World program, Fitch (program), Boole (program), Submit (online grading facility); along with the textbook and software manual in Adobe PDF format.
Ask at Reading Room for CD-ROM and software manual.
ISBN 9781575866321 (pack)
 Click on the terms below to find similar items in the catalogue
Author Barker-Plummer, Dave.
Subject First-order logic -- Textbooks.
Alt author Barwise, Jon.
Etchemendy, John, 1952-
Barwise, Jon. Language, proof, and logic.
Descript xiii, 606 p. : ill. ; 25 cm. + 1 CD-ROM (4.75 in.) + Software manual (vii, 56 p. ; 22 cm.)
Edition 2nd ed. / Dave Barker-Plummer, Jon Barwise & John Etchemendy ; in collaboration with Albert Liu, Michael Murray, Emma Pease.
Note Rev. ed. of: Language, proof, and logic / Jon Barwise & John Etchemendy. c2002.
Accompanying CD-ROM contains: updated version of Tarski's World program, Fitch (program), Boole (program), Submit (online grading facility); along with the textbook and software manual in Adobe PDF format.
Ask at Reading Room for CD-ROM and software manual.
ISBN 9781575866321 (pack)
Author Barker-Plummer, Dave.
Subject First-order logic -- Textbooks.
Alt author Barwise, Jon.
Etchemendy, John, 1952-
Barwise, Jon. Language, proof, and logic.
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC71 .B25 2011  8 WEEK LOAN  AVAILABLE
 BJL Reading Room  BC71 .B25 2011  CD-ROM + software manual  7 DAYS  ASK at the Reading Room
 BJL 3rd Floor  BC71 .B25 2011  8 WEEK LOAN  AVAILABLE
1 copy being processed for BJL.

Subject First-order logic -- Textbooks.
Descript xiii, 606 p. : ill. ; 25 cm. + 1 CD-ROM (4.75 in.) + Software manual (vii, 56 p. ; 22 cm.)
Note Rev. ed. of: Language, proof, and logic / Jon Barwise & John Etchemendy. c2002.
Accompanying CD-ROM contains: updated version of Tarski's World program, Fitch (program), Boole (program), Submit (online grading facility); along with the textbook and software manual in Adobe PDF format.
Ask at Reading Room for CD-ROM and software manual.
Alt author Barwise, Jon.
Etchemendy, John, 1952-
Barwise, Jon. Language, proof, and logic.
ISBN 9781575866321 (pack)
Persistent link to this item
Click link and copy URL from browser navigation toolbar

Links and services for this item:

Persistent link to this item
Click link and copy URL from browser navigation toolbar