This package consists of a new book, three logic programs, and an Internet-based grading service. The grading service is free to students who purchase the package. The book is a completely rewritten and much improved version of The Language of First-order Logic .
Introductory material is presented in a more systematic and accessible fashion.
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. Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. The book and programs were co-published in Fall 1999 by CSLI and Seven Bridges Press. Individual copies or instructor examination copies can be ordered from Seven Bridges Press .