Free to read
Richard Zach
4 free books by Richard Zach.
- Boxes and Diamonds: An Open Introduction to Modal LogicFall 2025 · 2025 · Read at bd.openlogicproject.org ↗
- Incompleteness and Computability: An Open Introduction to Gödel’s TheoremsFall 2025 · 2025 · Read at ic.openlogicproject.org ↗
- Sets, Logic, Computation: An Open Introduction to Logiccurrent online edition · Read at slc.openlogicproject.org ↗
- Sets, Logic, Computation: An Open Introduction to MetalogicFall 2025 · 2025 · Read at slc.openlogicproject.org ↗