Hilbert’s Epsilon Calculus and its Successors

In ¸ Itegabbay2009. Elsevier. pp. 385--448 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Hilbert's Epsilon Calculus and its Successors.Barry Hartley Slater - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 385-448.
Epsilon Calculi.Barry Slater - 2006 - Logic Journal of the IGPL 14 (4):535-590.
The Epsilon Calculus and Herbrand Complexity.Georg Moser & Richard Zach - 2006 - Studia Logica 82 (1):133-155.
The Epsilon Calculus and its Applications.B. H. Slater - 1991 - Grazer Philosophische Studien 41 (1):175-205.
Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs.Richard Zach - 2004 - History and Philosophy of Logic 25 (2):79-94.
Prior’s individuals.Hartley Slater - 2016 - Synthese 193 (11):3497-3506.
Meinong's Theory Of Objects And Hilbert's $\epsilon$-symbol.N. C. A. da Costa, F. Doria & N. Papavero - 1991 - Reports on Mathematical Logic.
Cut elimination for a simple formulation of epsilon calculus.Grigori Mints - 2008 - Annals of Pure and Applied Logic 152 (1):148-160.
A propositional fragment of Le'sniewski's Ontology and its formulation by the tableau method.Arata Ishimoto & M. Kobayashi - 1982 - Studia Logica 41 (2/3):181-195.
Epsilon calculi.Hartley Slater - 2001 - Internet Encyclopedia of Philosophy.
Term-Forming Operators in First Order Logic.David Michael Devidi - 1994 - Dissertation, The University of Western Ontario (Canada)
The epsilon calculus' problematic.B. H. Slater - 1994 - Philosophical Papers 23 (3):217-242.
Epsilon substitution method for ID1.Toshiyasu Arai - 2003 - Annals of Pure and Applied Logic 121 (2-3):163-208.
Über die Variationsrechnung in Hilberts Werken zur Analysis.Rüdiger Thiele - 1997 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 5 (1):23-42.
Using Hilbert's Calculus'.B. H. Slater - 1990 - Logique Et Analyse 129 (130):45-67.

Analytics

Added to PP
2016-09-21

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Back to Aristotle!Hartley Slater - 2011 - Logic and Logical Philosophy 20 (4):275-283.
Prior’s individuals.Hartley Slater - 2016 - Synthese 193 (11):3497-3506.

Add more citations

References found in this work

No references found.

Add more references