Searching for authors named "Richard Zach" – sorted by Relevance.
23 documents found, showing 1 through 10.
Next 10 →
-
Gödel Logics: Foundations and Applications to Computer Science
- …Richard Zach 1 Gödel Logics: Foundations and Applications to Computer Science 1 Introduction…
- Add To MetaCart
-
Hilbert’s “Verunglückter Beweis”, the first epsilon theorem, and consisteny proofs’, History and Philosophy of Logic 25:79–94
- …Hilbert’s ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs ∗ Richard Zach…
- Cited by 1 (1 self) – Add To MetaCart
-
The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program
- …The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program Richard Zach…
- Cited by 1 (1 self) – Add To MetaCart
-
Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity \le \omega
- … ≤ ω ∗ Richard Zach (rzach@(email omitted);) Department of Philosophy, University of Calgary Abstract…
- Cited by 1 (0 self) – Add To MetaCart
-
Hilbert’s Program Then and Now
- …Hilbert’s Program Then and Now Richard Zach Abstract Hilbert’s program was an ambitious and wide…
- Cited by 1 (0 self) – Add To MetaCart
-
Note on Generalizing Theorems in Algebraically Closed Fields
- … on Generalizing Theorems in Algebraically Closed Fields Matthias Baaz and Richard Zach Institut fur Algebra und…
- Add To MetaCart
-
Kurt Gödel, `Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I' (1931)
- …’ (1931) Richard Zach First publication: Monatshefte für Mathematik und Physik, 37, 173–198 Reprints: S…
- Add To MetaCart
-
Approximating Propositional Calculi by Finite-valued Logics
- …Approximating Propositional Calculi by Finite-valued Logics Matthias Baaz Richard Zach Technische…
- Cited by 3 (2 self) – Add To MetaCart
-
Short Proofs of Tautologies Using the Schema of Equivalence
- …Short Proofs of Tautologies Using the Schema of Equivalence ? Matthias Baaz ?? Richard Zach…
- Cited by 2 (0 self) – Add To MetaCart
-
Algorithmic Structuring of Cut-free Proofs
- …Algorithmic Structuring of Cut-free Proofs ? Matthias Baaz ?? Richard Zach ??? Technische…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
