"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 accompanying CD-ROM, compatible with both Macintosh and PC formats, includes a unique and effective corrective tool in the form of a game that methodically leads students back through any errors in sentences they have constructed, as well as a program for submitting homework to an automated grader. Intended as a supplement to a standard logic text, "Tarski's World" is an essential resource for helping students learn the language of logic.
- ISBN10 1575864843
- ISBN13 9781575864846
- Publish Date 15 July 2007
- Publish Status Active
- Publish Country US
- Imprint Centre for the Study of Language & Information
- Edition Revised edition
- Format Paperback
- Pages 144
- Language English
- URL http://wiley.com/remtitle.cgi?isbn=9781575864846