Tarski's World Revised and Expanded

The package is intended as a supplement to any standard logic text or for use by anyone who wants to learn the language of first order logic.

The main body of the book contains a collection of exericses which use the Tarski's World software to teach the language and semantics of first order logic.