The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0 (Paperback, 3, Rev & Expanded)