The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0

by ,

Write The First Customer Review

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.

The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0 1993, Center for the Study of Language and Information Publica Tion, Stanford, CA

ISBN-13: 9780937073995

3rd Rev & Expanded edition

Trade paperback

Select