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)
Released: Aug 01, 1993
Publisher: Center for the Study of Language and Inf
Format: Paperback, 320 pages
to view more data
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.
We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.
Want a Better Price Offer?
Set a price alert and get notified when the book starts selling at your price.
Want to Report a Pricing Issue?
Let us know about the pricing issue you've noticed so that we can fix it.