The world of Tarski

Tarski's World o The world of Tarski is a computer-based educational approach to the study of first-order logic written by Jon Barwise and John Etchemendy. Its name is due to the logical mathematician Alfred Tarski.

The product includes a book, which serves as a textbook and manual, and the computer program, which together constitute an introduction to semantics through simple games: three three-dimensional worlds in which there are several geometric figures that are used to prove the truth or falsity of a statement based on first order logic.

The program can also be found in other documents: The program

wiki