Gerard Allwein, Dave Barker-Plummer and Albert Liu
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.
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.
