Richard Zach

• History of Analytic Philosophy
• Logic
• Philosophy of Mathematics
• Philosophy of Logic

Book

• 
  Mancosu, Paolo, Galvan, Sergio and Zach, Richard. An Introduction to Proof Theory Oxford: Oxford University Press, 2021. Print.
• 
  Zach, Richard. Sets, Logic, Computation Calgary and Bloomington: CreateSpace, 2017. Print.
• 
  Zach, Richard. Incompleteness and Computability Calgary and Bloomington: CreateSpace, 2017. Print.

Book Chapter

• Zach, Richard, Badesa, Calixto and Mancosu, Paolo. "The development of mathematical logic from Russell to Tarski: 1900-1935" The History of Modern Logic Ed. Haaparanta, Leila Oxford University Press, 2009. 324-479. Print.
• Zach, Richard. "Hilbert’s program then and now" Philosophy of Logic Ed. Jacquette, Dale Elsevier: Amsterdam, 2006. 411-447. Print.

Journal Article

• 
  Schiemer, Georg, Zach, Richard and Reck, Erich. "Carnap's Early Metatheory: Scope and Limits". Synthese 194. (2017): 33–65. Print.
• 
  Zach, Richard. "Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective)". Journal of Philosophical Logic 45 (to appear): 183–197. Print.
• 
  Mancosu, Paolo and Zach, Richard. "Heinrich Behmann's 1921 lecture on the decision problem and the algebra of logic". Bulletin of Symbolic Logic 21.2 (2015): 164-187. Print.
• Zach, Richard, Baaz, Matthias and Preining, Norbert. "First-order Gödel Logics". Annals of Pure and Applied Logic 147. (2007): 23-47. Print.
• Zach, Richard. "Decidability of quantified propositional intuitionistic logic and S4 on trees". Journal of Philosophical Logic 33. (2004): 155-164. Print.
• Zach, Richard. "The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's Program". Synthese 137. (2003): 211-259. Print.
• Zach, Richard. "Completeness before Post: Bernays, Hilbert, and the development of propositional logic". Bulletin of Symbolic Logic 5. (1999): 331-366. Print.
• Baaz, Matthias and Zach, Richard. "Generalizing theorems in real closed fields". Annals of Pure and Applied Logic 75. (1995): 3-23. Print.

Other

• Zach, Richard. Hilbert's Program, Stanford Encyclopedia of Philosophy 2003.
• Zach, Richard and Avigad, Jeremy. The Epsilon Calculus, Stanford Encyclopedia of Philosophy 2002.