The Language of First-Order Logic: Including the Ibm-Compatible Windows Version of Tarski's World 4.0

by John Etchemendy and Jon Barwise

Book Overview

This text/courseware package presents a new approach to teaching first-order logic. Taking advantage of Tarski's World 4.0, the text skilfully balances the semantic conception of logic with methods of proof. The book contains eleven chapters, in four parts. Part I is about propositional logic, Part II about quantifier logic. Part III contains chapters on set theory and inductive definitions. Part IV contains advanced topics in logic, including topics...

• Format: Paperback
• Language: English
• ISBN: 0937073903
• ISBN13: 9780937073902
• Release Date: December 1992
• Publisher: Center for the Study of Language and Informat
• Length: 336 Pages
• Weight: 1.30 lbs.
• Dimensions: 0.7" x 6.4" x 9.5"