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 (LPL) is published by CSLI Publications and distributed by the University of Chicago Press --- ISBN (Paperback): 978-1-57586-632-1.
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.
LPL consists of a book, three logic programs, and an Internet-based grading service. The grading service is free to students who purchase the package.
The ISBN for the first edition of LPL is 978-1-57586-374-0 (it was originally 157586374X before 2007 when ISBNs were lengthened).