The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0: Including the Macintosh Programme, Tarski's World 4.0 (Center ... and Information Publication Lecture Notes)

3.5 avg rating
( 2 ratings by Goodreads )
 
9780937073995: The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0: Including the Macintosh Programme, Tarski's World 4.0 (Center ... and Information Publication Lecture Notes)
View all copies of this ISBN edition:
 
 

The Language of First-Order Logic is a complete introduction to first-order symbolic logic, consisting of a computer program and a text. The program, an aid to learning and using symbolic notation, allows one to construct symbolic sentences and possible worlds, and verify that a sentence is well formed. The truth or falsity of a sentence can be determined by playing a deductive game with the computer.

"synopsis" may belong to another edition of this title.

Review:

Review of the first edition... "A fascinating approach to a fascinating subject." Choice

From the Author:

WWW descrition available
This package presents a new approach to teaching first-order logic. Much more on-line information about this book and the computer program that comes with it can be found at http://csli-www.stanford.edu/hp/index.html.

"About this title" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Barwise, Jon; Etchemendy, John
ISBN 10: 0937073997 ISBN 13: 9780937073995
New Quantity Available: 1
Seller:
BennettBooksLtd
(San Diego, CA, U.S.A.)

Book Description Condition: New. New. Seller Inventory # M-0937073997

More information about this seller | Contact this seller

Buy New
67.50
Convert currency

Add to Basket

Shipping: 3.96
Within U.S.A.
Destination, rates & speeds