STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Richard Zach | lit.salon
Richard Zach
No bio available.
Add one in Open Library.
Books by Richard Zach (50 max)
+ shelf
+ list
Sets, Logic, Computation: An Open Introduction to Metalogic
2017
Richard Zach
+ shelf
+ list
Forall X : Calgary: An Introduction to Formal Logic
2019
Tim Button, Aaron Thomas-Bolduc, Richard Zach, J. Robert Loftis, Robert Trueman
+ shelf
+ list
Introduction to Proof Theory Normalization, Cut-Elimination, and Consistency Proofs
2021
Paolo Mancosu, Sergio Galvan, Richard Zach
+ shelf
+ list
forall x : Calgary Remix: An Introduction to Formal Logic
2017
P. D. Magnus, Tim Button, J. Robert Loftis, Aaron Thomas-Bolduc, Richard Zach
+ shelf
+ list
Incompleteness and Computability An Open Logic Text
2017
Richard Zach
+ shelf
+ list
Boxes and Diamonds : An Open Introduction to Modal Logic
2019
Richard Zach
+ shelf
+ list
Incompleteness and Computability: An Open Introduction to Gödel's Theorems
2019
Richard Zach
+ shelf
+ list
Introduction a la Theorie de la Demonstration Elimination des Coupures, Normalisation et Preuves de Coherence
2022
Sergio Galvan, Paolo Mancosu, Richard Zach, Yacine Aggoune, David Appadourai
