Goodreads helps you keep track of books you want to read.
Start by marking “The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers” as Want to Read:
The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers
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 ind ...more
Paperback, 320 pages
Published December 1st 1992 by Center for the Study of Language and Inf
To see what your friends thought of this book, please sign up.