Welcome to E-Books Directory
This is a freely downloadable e-book.

Language, Proof and Logic

Language, Proof and Logic
by Jon Barwise, John Etchemendy

Publisher: Center for the Study of Language 2002
ISBN/ASIN: 157586374X
ISBN-13: 9781575863740
Number of pages: 598

This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. The unique on-line grading services instantly grades solutions 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. 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.

Download or read it online here:

Download link

 (3.7MB, PDF)