This specific ISBN edition is currently not available.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 of the first edition... "A fascinating approach to a fascinating subject." ChoiceFrom 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.
Book Description Condition: New. New. Seller Inventory # M-0937073997