Hilbert’s epsilon as an operator of indefinite committed choice (2009)

by Claus-peter Wirth
Citations:2 - 2 self

Documents Related by Co-Citation

21 Non-elementary Speedups between Different Versions of Tableaux – Matthias Baaz, Christian G Fermüller - 1995
18 Automated Proof Search in Non-Classical Logics – LINCOLN A WALLEN - 1990
4 Methods of Functional Extension – MATTHIAS BAAZ, ALEXANDER LEITSCH - 1995
8 Die gegenwärtige Lage in der mathematischen Grundlagenforschung – Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, Folge 4 – GERHARD GENTZEN - 1938
13 Descente Infinie + Deduction – Claus-Peter Wirth - 2004
4 Shallow Confluence of Conditional Term Rewriting Systems – CLAUS-PETER WIRTH - 2008
27 Consequences of the axiom of choice – P Howard, J E Rubin - 1998
50 From Frege to Gödel: A Source Book – J van Heijenoort - 1967
27 Zur Widerspruchsfreiheit der Zahlentheorie – Wilhelm Ackermann - 1940
311 An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (2nd Ed – Peter B Andrews - 2002
945 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
278 First-Order Logic – R Smullyan - 1968
565 Untersuchungen über das logische Schließen – G Gentzen - 1935
389 Über Formal Unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Monatshefte für Mathematik und Physik – Kurt Gödel - 1931
124 Unification under a mixed prefix – Dale Miller - 1992
1 Zusatz zu Hilberts Vortrag ” Die Grundlagen der Mathematik“. Abhandlungen aus dem mathematischen Seminar der Univ – Paul Bernays - 1928
1 Jacques Hadamard (1865–1963). Biographical Memoirs of – Mary L Cartwright - 1965
1 Notice biographique sur Herbrand. Annuaire de l’Association amicale de secours des anciens élèves de l’ École Normale Supérieure – Claude Chevalley, Albert Lautman - 1931
1 la pensée de Jacques Herbrand. L’Enseignement Mathématique, 34:97–102 – Sur - 1935