Tarski's World: Revised and Expanded
Samenvatting
A method of introducing students to the language of first-order logic. It helps students learn the meanings of connectives and qualifiers and soon become fluent in the symbolic language at the core of modern logic.

