9780937073995 / 0937073997

The Language of First-Order Logic: Including the Macintosh Program Tarski's World 4.0/Book and Disk (Csli Lecture Notes, No 23)


Publisher:Center for the Study of Language and Inf



Prices INCLUDE standard shipping to United States
Show prices without shipping
Change shipping destination/currency
Shipping prices may be approximate. Please verify cost before checkout.

About the book:

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.

Search under way...

Search complete.

Click on the price to find out more about a book.

New books: 1 - 25 of 29


Used books: 1 - 25 of 80