Completed
- A Mathematical Introduction To Logic – Herbert B. Enderton
- Gödel’s Proof – Ernest Nagel and James R. Newman
Upcoming
- Formal Number Theory and Computability A Work Book – Alec Fisher
- Set Theory and the Continuum Hypothesis – Paul J. Cohen
Completed
Upcoming