Tarski's World: Revised and Expanded: Volume 169

by John Etchemendy and Jon Barwise

Book Overview

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...

• Format: Product Bundle
• Language: English
• ISBN: 1575864843
• ISBN13: 9781575864846
• Release Date: July 2007
• Publisher: Center for the Study of Language and Informat
• Length: 144 Pages
• Weight: 0.60 lbs.
• Dimensions: 0.4" x 6.0" x 9.1"