Böcker av Jon Barwise

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.