Tarski's World: Revised and Expanded

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.