Tarski's World, Version 4.0 For Ms Windows

by Jon Barwise

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

Reviews

[Oleg Dats · Rating 4 out of 5]

Visual explanation works best for me. A very good list of exercises to give intuition behind Logic and Semantics.

Use Stanford Introduction to Logic to learn theory. http://intrologic.stanford.edu/homepa...