Truth and Proof: Introduction to Mathematical Logic

Introduces the theory of deductive reasoning, using a symbolic language to represent and evaluate patterns of reasoning. Covers sentential logic and first-order predicate logic. Honors version available.