Tarski's World Version 4.0 for MS Windows
Format: Paperback
ISBN13: 9781881526285
Paperback|9781881526285
✨ Featured Offer
Used, Like New
$28.27
List Price: $26.99
🚚
See all 3 offers from $21.14 FREE standard delivery by: 31 Mar 2026
Overview
Tarski's World 4.0 is an innovative and enjoyable way to introduce your students to the language of first-order logic. Using this program, students quickly master the meaning of the connectives and quantifiers, and soon become fluent in the symbolic language at the core of modern logic. Tarski's World allows the students to build three-dimensional worlds, and to describe them in first-order logic. They evaluate the sentences in the constructed worlds, and if their evaluation is incorrect, the program provides them with a game that leads them to understand where they went wrong. The package is intended as a supplement to any standard logic text, or for use by anyone who wants to learn the language. The disk and manual contain over a hundred exercises from very basic to highly sophisticated.
| ISBN-13 | 9781881526285 |
|---|---|
| ISBN-10 | 1881526283 |
| Weight | 0.60 Pounds |
| Dimensions | 5.98 x 0.43 x 8.98 In |
| List Price | $26.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | 312 pages |
| Publisher | Center for the Study of Language and Inf |
| Published On | 1993-10-01 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
Used, Very Good
Seller details
Books From California
Simi Valley, CA, USA
Very Clean Copy-Over 500, 000 Internet Orders Filled.
Free delivery by: 31 Mar 2026
✨ Used, Like New
Seller details
Keeper of the Page
Enumclaw, WA, USA
Center for the Study of Language and Inf 1993 As New. Includes used 3.5 inch disk in back pocket.
Free delivery by: 31 Mar 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 31 Mar 2026