Richard Zach profile picture

Richard Zach

Is this your author profile? Create an account to claim and customize it!

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Incompleteness and Computability An Open Introduction to Gödel's Theorems
Sets, Logic, Computation An Open Introduction to Metalogic
Forall X: Calgary An Introduction to Formal Logic
Incompleteness and Computability An Open Logic Text
Forall X: Calgary An Introduction to Formal Logic
Sets, Logic, Computation An Open Logic Text
Boxes and Diamonds An Open Introduction to Modal Logic
An Introduction to Proof Theory Normalization, Cut-elimination, and Consistency Proofs
Early Writings