Need help?  •  Forgot your password?
We are testing our new web site. Visit it here.

Language, Proof and Logic

Dave Barker-Plummer, Jon Barwise and John Etchemendy

in collaboration with


Welcome to the home page of the Language, Proof and Logic courseware package.

Language, Proof and Logic covers topics such as the boolean connectives, formal proof techniques, quantifiers, basic set theory, and induction. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.

Language, Proof and Logic consists of a book, three logic programs, and an Internet-based grading service (which is free to students who purchase the package).

We constructed an online course based on Language, Proof and Logic. You can sign up at Stanford Online to get access to video lectures, quizzes and assignments.

Language, Proof and Logic (LPL) is published by CSLI Publications and distributed by the University of Chicago Press—ISBN (Paperback): 978-1-57586-632-1 (second edition). LPL is available as a paperless package, which may be purchased and downloaded directly from our store, or in physical form available from bookstores (brick or click), and CSLI publications.

Learn about the team responsible for the package.

Language, Proof and Logic has been translated into Portuguese, German and Japanese.