Hilbert's ɛ-operator and classical logic

Journal of Philosophical Logic 22 (1):1 - 18 (1993)

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,855

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
55 (#210,502)

6 months
2 (#257,917)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Elements of Intuitionism.Michael Dummett - 1977 - Oxford University Press.
The Mathematics of Metamathematics.Helena Rasiowa - 1963 - Warszawa, Państwowe Wydawn. Naukowe.
Mathematical Logic and Hilbert's & Symbol.A. C. Leisenring - 1969 - London: Macdonald Technical & Scientific.
Foundations of Constructive Mathematics.Michael J. Beeson - 1987 - Studia Logica 46 (4):398-399.

Add more references

Similar books and articles

The Logic of Choice.Andreas Blass & Yuri Gurevich - 2000 - Journal of Symbolic Logic 65 (3):1264-1310.
Absurdity as Unary Operator.Sergei P. Odintsov - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):225-242.
Quantum Logic as a Fragment of Independence-Friendly Logic.Jaakko Hintikka - 2002 - Journal of Philosophical Logic 31 (3):197-209.
Natural Deduction and Hilbert's Ɛ-Operator.Allen Hazen - 1987 - Journal of Philosophical Logic 16 (4):411 - 421.