Tarski's World Revised and Expanded 1.0

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.