R
Richard Zach
7 works on record
Works
forall x : Calgary Remix
forall x : Calgary Remix
2017
Sets, Logic, Computation
Sets, Logic, Computation
Introduction to Proof Theory
Introduction to Proof Theory
Boxes and Diamonds
Boxes and Diamonds
Incompleteness and Computability
Incompleteness and Computability
Forall X : Calgary
Forall X : Calgary
Introduction a la Theorie de la Demonstration
Introduction a la Theorie de la Demonstration