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
Enlarge cover
Rate this book
Clear rating

The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers

4.0 of 5 stars 4.00  ·  rating details  ·  4 ratings  ·  0 reviews
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
more details... edit details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

To ask other readers questions about The Language of First-Order Logic, please sign up.

Be the first to ask a question about The Language of First-Order Logic

This book is not yet featured on Listopia. Add this book to your favorite list »

Community Reviews

(showing 1-7 of 7)
filter  |  sort: default (?)  |  rating details
There are no discussion topics on this book yet. Be the first to start one »
Language, Proof and Logic: Text and CD Situations and Attitudes The Situation in Logic Vicious Circles Handbook of Mathematical Logic

Share This Book