Propositional calculus
First Order Logic
Incompleteness theorem
Completeness theorem
Nonstandard analysis
Decidability (logic)
Zermelo-Fraenkel axioms
course webpage