Richard Zach
Identifiers
- Open LibraryOL8025260A
Top Subjects
- Mathematics (1)
Books by Richard Zach
Total count: 6
-
Sets, Logic, ComputationAn Open Logic TextCreateSpace Independent Publishing Platform2017-09-11
-
Incompleteness and ComputabilityAn Open Introduction to Gödel's TheoremsIndependently Published2019-01-01
-
Boxes and DiamondsAn Open Introduction to Modal LogicIndependently published2019-11-09
-
Introduction to Proof TheoryNormalization, Cut-Elimination, and Consistency ProofsOxford University Press2021-01-01
-
Forall X : CalgaryAn Introduction to Formal LogicIndependently Published2021-01-01
-
Introduction a la Theorie de la DemonstrationElimination des Coupures, Normalisation et Preuves de CoherenceVrin, Librairie Philosophique J.2022-01-01