Skip to main content alibris logo

Tarski's World: Revised and Expanded: Volume 169

by , ,

Write The First Customer Review
Tarski's World: Revised and Expanded: Volume 169 - Barwise, Jon, and Etchemendy, John, and Barker-Plummer, David
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

Tarski's World is an innovative and exciting method of introducing students to the language of first-order logic. Using the courseware package, students quickly master the meanings of connectives and qualifiers and soon become fluent in the symbolic language at the core of modern logic. The program allows students to build three-dimensional worlds and then describe them in first-order logic. The program, compatible with Macintosh and Windows formats, also contains a unique and effective corrective tool in the form of a ...

loading
Tarski's World: Revised and Expanded: Volume 169 2007, Center for the Study of Language and Information Publica Tion, Stanford, CA

ISBN-13: 9781575864846

2nd Revised edition

Unknown binding