Basic Logic.
Methods of Proof
Set Theory.
Relations and Functions.
Axioms of Set Theory, Paradoxes, and Rigor.
Number Systems.
More on the Real Number System.
A Glimpse of Topology.
Elementary Number Theory.
Zero-Knowledge Proofs
Examples of Axiomatic Theories