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 (second edition).
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 Online Package version (available via the Store on this site) is different in that the book is available only in pdf format and that the software is downloaded and not distributed by CD. The grading service is free to students who purchase the package new.
The ISBN for the first edition of LPL is 978-1-57586-374-0.