The Language of First-Order Logic : Including the Macintosh Program Tarski's World 4.0/Book and Disk (Csli Lecture Notes, No 23) (Volume 23)
Description:
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.
Best prices to buy, sell, or rent ISBN 9780937073995
Related Books
- 1
- 2
- 3
- The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers (Lecture Notes)Barwise, Jon; Etchemendy, JohnEdition:3ISBN-13:9780937073902
- The Language of First-Order Logic: Including the Macintosh TM Program, Tarski's World 3.0 (Volume 23) (Lecture Notes)Barwise, Jon; Etchemendy, JohnISBN-13:9780937073599
- The Language of First-Order Logic, Including Tarski's World 3.0 (Mac) (Lecture Notes) (Volume 23)Barwise, Jon; Etchemendy, JohnEdition:2ndISBN-13:9780937073742
- The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers (Lecture Notes)Barwise, Jon; Etchemendy, JohnEdition:3ISBN-13:9780937073902
- The Language of First-Order Logic: Including the Macintosh TM Program, Tarski's World 3.0 (Volume 23) (Lecture Notes)Barwise, Jon; Etchemendy, JohnISBN-13:9780937073599
Frequently Asked Questions about The Language of First-Order Logic : Including the Macintosh Program Tarski's World 4.0/Book and Disk (Csli Lecture Notes, No 23) (Volume 23)
The price for the book starts from $5.73 on Amazon and is available from 5 sellers at the moment.
If you’re interested in selling back the The Language of First-Order Logic : Including the Macintosh Program Tarski's World 4.0/Book and Disk (Csli Lecture Notes, No 23) (Volume 23) book, you can always look up BookScouter for the best deal. BookScouter checks 30+ buyback vendors with a single search and gives you actual information on buyback pricing instantly.
As for the The Language of First-Order Logic : Including the Macintosh Program Tarski's World 4.0/Book and Disk (Csli Lecture Notes, No 23) (Volume 23) book, the best buyback offer comes from and is $ for the book in good condition.
The The Language of First-Order Logic : Including the Macintosh Program Tarski's World 4.0/Book and Disk (Csli Lecture Notes, No 23) (Volume 23) book is in very low demand now as the rank for the book is 9,059,511 at the moment. A rank of 1,000,000 means the last copy sold approximately a month ago.
Not enough insights yet.