Article PDF
Avoid common mistakes on your manuscript.
Bibliography
BradyR., ‘The simple consistency of a set theory based on the logic CSQ’, Notre Dame Journal of Formal Logic 24 (1983), pp. 431–449.
Brady, R., Universal Logic, in preparation.
CopiI., Symbolic Logic, New York (Macmillan), 1954; second ed. 1961.
FineK., ‘Natural deduction and arbitrary objects’, Journal of Philosophical Logic 14 (1985), pp. 57–107.
FineK., Reasoning with Arbitrary Objects, Oxford (Blackwell), 1985.
FitchF., Symbolic Logic: An Introduction, New York (Ronald), 1952.
GentzenG., ‘Untersuchungen über das logische Schliessen’, Math. Zeit. 39 (1934), pp. 176–210, 405–437; Eng. tr. ‘Investigations into logical deduction’, American Philosophical Quarterly 1 (1964), pp. 288–306, and 2 (1965), pp. 204–218; repr. M. Szabo, ed., The Collected Papers of Gerhard Gentzen, Amsterdam (North Holland), 1969, pp. 20–131.
HatcherW., The Foundations of Mathematics, Philadelphia (Saunders), 1968; second edition The Logical Foundations of Mathematics, Oxford (Pergamon), 1982.
HilbertD. and P.Bernays, Grundlagen der Mathematik, vols. I and II, Berlin (Springer), 1934 and 1939.
JeffreyR., Formal Logic: Its Scope and Limits, New York (McGraw-Hill), 1967.
Kalish, D., review of [3], Journal of Symbolic Logic 32 (1967) p. 254.
LambertK. and B.VanFraassen, Derivation and Counterexample, Encino CA (Dickenson), 1972.
LeisenringA., Mathematical Logic and Hilbert's ɛ-Symbol, London (MacDonald), 1969.
MintsG. E., ‘Heyting predicate calculus with epsilon symbol’, (in Russian), Zapiski of the Steklov Institute 40 (1974), pp. 101–109; Eng. tr. Journal of Soviet Mathematics 8 (1977), pp. 315–323.
PriestG., ‘The logical paradoxes and the law of excluded middle’, Philosophical Quarterly 33 (1983), pp. 160–165.
QuineW., Methods of Logic, New York (Henry Holt), 1950.
SmullyanR., First-Order Logic, Berlin (Springer-Verlag), 1968.
SuppesP., Introduction to Logic, Princeton (Van Nostrand), 1957.
ThomasonR., Symbolic Logic: An Introduction, New York (Macmillan), 1970.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hazen, A. Natural deduction and Hilbert's ɛ-operator. J Philos Logic 16, 411–421 (1987). https://doi.org/10.1007/BF00431186
Issue Date:
DOI: https://doi.org/10.1007/BF00431186