- Foundations of Mathematics, Kenneth Kunen, parts of chapters I-IV.
- Modal logic for open minds, Johan van Benthem, some of chapters 1-11 and 16.
- Logic and Proof, Lean tutorial, and The Natural Number Game

MATH 654 Fall 2020
Readings for this graduate course: