Hilbert's ɛ-operator and classical logic

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Beeson, M. J.,Foundations of Constructive Mathematics. Springer-Verlag, Berlin, 1985.
Google Scholar
Dummett, M.,Elements of Intuitionism. Clarendon Press, Oxford, 1977.
Google Scholar
Hilbert, D., ‘On the infinite’ (1925). In: van Heijenoort [9].
Google Scholar
Hubert, D., ‘The foundations of mathematics’ (1928). In van Heijenoort [9].
Google Scholar
Kolmogorov, A. N., ‘On the principle of excluded middle’ (1925). In: van Heijenoort [9].
Google Scholar
Leisenring, A. C.,Mathematical Logic and Hubert's ɛ-Symbol. Gordon & Breach, New York, 1969.
Google Scholar
Moore, G. H.,Zermelo's Axiom of Choice. Springer-Verlag, New York, 1982.
Google Scholar
Rasiowa, H. and Sikorski, R.,The Mathematics of Metamathematics. PWN, Warsaw, 1963.
Google Scholar
van Heijenoort, J. (ed).From Frege to Gbödel. Harvard University Press, Cambridge, 1967.
Google Scholar

Department of Philosophy, University of Western Ontario, Talbot College, N6A 3KY, London, Canada
J. L. Bell

Authors

J. L. Bell
View author publications
You can also search for this author in PubMed Google Scholar

Bell, J.L. Hilbert's ɛ-operator and classical logic. J Philos Logic 22, 1–18 (1993). https://doi.org/10.1007/BF01049178

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.