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 – - 1995
18 Automated Proof Search in Non-Classical Logics – - 1990
4 Methods of Functional Extension – - 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 – - 1938
13 Descente Infinie + Deduction – - 2004
4 Shallow Confluence of Conditional Term Rewriting Systems – - 2008
124 Unification under a mixed prefix – - 1992
50 From Frege to Gödel. A Source Book – - 1967
27 Zur Widerspruchsfreiheit der Zahlentheorie – - 1940
945 1965] ‘A machine-oriented logic based on the resolution principle
26 Equivalents of the axiom of choice – - 1985
278 First-Order Logic – - 1968
308 An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof – - 2002
567 Untersuchungen über das logische Schliessen – - 1934
387 Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte der – - 1931
1 Zusatz zu Hilberts Vortrag ” Die Grundlagen der Mathematik“. Abhandlungen aus dem mathematischen Seminar der Univ – - 1928
1 Jacques Hadamard (1865–1963). Biographical Memoirs of – - 1965
1 Notice biographique sur Herbrand. Annuaire de l’Association amicale de secours des anciens élèves de l’ École Normale Supérieure – - 1931
1 la pensée de Jacques Herbrand. L’Enseignement Mathématique, 34:97–102 – - 1935