Table of Contents

Atomic sentences; the logic of atomic sentences; the boolean connectives; the logic of boolean connectives; methods of proof for boolean logic; formal proofs and boolean logic; conditionals; the logic of conditionals; introduction to quantification; the logic of quantifiers; multiple quantifiers; methods of proof for quantifiers; formal proofs and quantifiers; first-order set theory; mathematical induction; advanced topics in propositional logic; advanced topics in FOL; completeness and incompleteness.