Language, proof, and logic :: Dave Barker-Plummer :: ISBN 9781575866321 :: CSLI Publications 2011 :: OBNB, the Open British National Bibliography

Publication Data

Title Language, proof, and logic
Author Dave Barker-Plummer
Contributors Jon Barwise, John Etchemendy
Publisher CSLI Publications
Publication date 2011
Publication location Stanford, Calif.
Language English

Descriptive Notes

Rev. ed. of: Language, proof, and logic / Jon Barwise & John Etchemendy. c2002.
Issued in box.
Includes indexes.
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.

Topics

015814072

Catalogue Data

OBNB ID GBB162441
ISBN 10 1575866323
ISBN 13 9781575866321
Type BibliographicResource, Book
Dewey Classification 511.302855369

ISBD

P1008>2nd 2nd ed.
P1053 xiii, 606 p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Language, proof, and logic by Dave Barker-Plummer. ISBN 9781575866321. Published by CSLI Publications in 2011. Publication and catalogue information, links to buy online and reader comments.