Jump to ratings and reviews
Rate this book

Tarski's World, Version 4.0 For Ms Windows

Rate this book
Using this program, students quickly master the meaning of connectives and quantifiers, and become fluent in the symbolic language at the core of modern logic. Containing over a hundred exercises, the package, comprised of a disk and a manual, is intended as a supplement to any standard logic text, or for use by anyone who wants to learn the language.

Paperback

First published December 7, 1993

12 people want to read

About the author

Jon Barwise

36 books3 followers

Ratings & Reviews

What do you think?
Rate this book

Friends & Following

Create a free account to discover what your friends think of this book!

Community Reviews

5 stars
2 (20%)
4 stars
4 (40%)
3 stars
1 (10%)
2 stars
0 (0%)
1 star
3 (30%)
Displaying 1 of 1 review
Displaying 1 of 1 review

Can't find what you're looking for?

Get help and learn more about the design.