Most Popular Books
- Incompleteness and Computability: An Open Logic Text
- Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks)
- Boxes and Diamonds: An Open Introduction to Modal Logic
- An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
- An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
