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
Open Preview

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

4.2  ·  Rating Details ·  5 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-12)
filter  |  sort: default (?)  |  Rating Details
Sally
Sally marked it as to-read
Aug 07, 2016
Olaf
Olaf added it
Nov 06, 2015
John Warner
John Warner rated it it was amazing
Sep 08, 2015
BAKHODIR
BAKHODIR marked it as to-read
Aug 02, 2015
Tom
Tom added it
May 03, 2015
Josip Cmrečnjak
Josip Cmrečnjak rated it liked it
May 20, 2016
Jose_A.
Jose_A. rated it really liked it
Jan 21, 2012
Pedro Cabiya
Pedro Cabiya rated it it was amazing
Sep 20, 2011
Owen Wiggins
Owen Wiggins rated it really liked it
Dec 24, 2010
John
John added it
May 29, 2009
There are no discussion topics on this book yet. Be the first to start one »

Share This Book