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

Language, Proof and Logic

Table of Contents (Second Edition)

Language, Proof, and Logic is a textbook and software package, intended for use in undergraduate level logic courses. The text covers topics such as the boolean connectives, formal proof techniques, quantifiers, basic set theory, and induction. The last few chapters include material on soundness, completeness, and Godel's incompleteness theorems.

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.

This is the table of contents for the second edition. You can also look at the the table of contents for the first edition , and read about the key changes between the first and second edition . The ISBN for the first edition of LPL is 978-1-57586-374-0.

We have also prepared an errata for the second edition.

Table of contents