Richard Zach

Identifiers

• name variant Richard Zach 0.60 · backfill

Papers (10)

1. Natural Deduction for the Sheffer Stroke and Peirce's Arrow (And Any Other Truth-Functional Connective) math.LO · 2015 · author #1
2. Lectures on the Epsilon Calculus math.LO · 2014 · author #1
3. First-order Goedel logics math.LO · 2006 · author #3
4. The Epsilon Calculus and Herbrand Complexity math.LO · 2005 · author #2
5. Hilbert's Program Then and Now math.LO · 2005 · author #1
6. Hilbert's "Verunglueckter Beweis," the first epsilon theorem, and consistency proofs math.LO · 2002 · author #1
7. Decidability of quantified propositional intuitionistic logic and S4 on trees math.LO · 2002 · author #1
8. The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program math.LO · 2001 · author #1
9. Quantified propositional Goedel logics math.LO · 2000 · author #3
10. Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic math.LO · 2000 · author #2

Mentions

• 1504.05995 #1 · backfill · confidence 0.70 Richard Zach
• 1411.3629 #1 · backfill · confidence 0.70 Richard Zach

Frequent Coauthors

• Matthias Baaz 3 shared papers
• Agata Ciabattoni 1 shared papers
• Georg Moser 1 shared papers
• Norbert Preining 1 shared papers