The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0 - Including the Macintosh Programme, Tarski's World 4.0 (Paperback, 3rd Revised edition)
Jon Barwise, John EtchemendyThe 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.
R1,179
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
11790
@R110pm x 12* 
Out of stock
Add to wish listReview this Item
Product 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.
Customer Reviews
No reviews or ratings yet - be the first to create one!
Product Details
General
Imprint | Centre for the Study of Language & Information |
Country of origin | United States |
Series | Center for the Study of Language and Information Publication Lecture Notes, 23 |
Release date | June 1993 |
Availability | Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available. |
Authors | Jon Barwise, John Etchemendy |
Dimensions | 228 x 152 x 23mm (L x W x T) |
Format | Paperback - Trade |
Pages | 336 |
Edition | 3rd Revised edition |
ISBN-13 | 978-0-937073-99-5 |
Barcode | 9780937073995 |
Categories | |
LSN | 0-937073-99-7 |
Similar Products | Recommended ProductsSee more 
Trending On Loot
Be the first to know about our
latest deals & promos! Subscribe Now
