A Note on a Proof of Hilbert's Second $varepsilon$-Theorem

Journal of Symbolic Logic 52 (1):214-215 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

External links

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

Through your library

Similar books and articles

A note on a proof of Hilbert's second ε-theorem.Pier Luigi Ferrari - 1987 - Journal of Symbolic Logic 52 (1):214-215.
Epsilon theorems in intermediate logics.Matthias Baaz & Richard Zach - 2022 - Journal of Symbolic Logic 87 (2):682-720.
Herbrand complexity and the epsilon calculus with equality.Kenji Miyamoto & Georg Moser - 2023 - Archive for Mathematical Logic 63 (1):89-118.
On an extension of Hilbert's second ε-theorem.T. B. Flannagan - 1975 - Journal of Symbolic Logic 40 (3):393-397.
Hilbert’s varepsilon -operator in intuitionistic type theories.John L. Bell - 1993 - Mathematical Logic Quarterly 39 (1):323--337.
Hilbert’s varepsilon -operator and classical logic.J. L. Bell - 1993 - Journal of Philosophical Logic 22 (1):1--18.

Analytics

Added to PP
2013-11-02

Downloads
20 (#758,044)

6 months
1 (#1,721,226)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references