Title: Tarski's World Version 4.0 for MS Windows
Subjects: First-order logic