Language, Proof, and Logic

Second Edition

Barker-Plummer David, Barwise Jon, Etchemendy John

This textbook/software package covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. The accompanying online grading service instantly grades solutions to hundreds of computer exercises. The second edition of "Language, Proof and Logic" represents a major expansion and revision of the original package and includes applications for mobile devices, additional exercises, a dedicated website, and increased software compatibility and support.

About the Author

Dave Barker-Plummer is a senior research scientist with the Openproof Project at the Center for the Study of Language and Information (CSLI).

Jon Barwise (1942-2000) was professor of philosophy, mathematics, and computer science at Indiana University and one of the founding members of CSLI.

John Etchemendy is professor of philosophy and symbolic systems at Stanford University and a former director of CSLI.

Back to the list of books