The unique on-line grading services instantly grades solutinos to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics. 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. Jon Barwise and John Etchemendy have developed several other logic courseware packages. This courseware package has been copublished with Seven Bridges Press , who will also be distributing the book.