Paradoxes

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.

Anderson, A. R. and R. B. Marcus: 1974, The Logical Enterprise, Yale Univ. Press, New Haven.
Google Scholar
Bishop, E.: 1967, Foundations of Constructive Analysis, McGraw-Hill, New York.
Google Scholar
Bishop, E. and H. Cheng: 1972, Constructive Measure Theory, American Mathematical Society Memoirs 116, American Mathematical Society, Providence.
Google Scholar
Dauben, J.: 1979, Georg Cantor, Harvard Univ. Press, Cambridge, Mass.
Google Scholar
Fitch, F. B.: 1948, ‘An Extension of Basic Logic’, The Journal of Symbolic Logic 13, 95–106.
Google Scholar
Fitch, F. B.: 1949, ‘The Heine-Borel Theorem in Extended Basic Logic’, The Journal of Symbolic Logic 14, 9–15.
Google Scholar
Fitch, F. B.: 1950, ‘A Demonstrably Consistent Arithmetic — Part I’, The Journal of Symbolic Logic 15, 17–24.
Google Scholar
Fitch, F. B.: 1951, ‘A Demonstrably Consistent Arithmetic — Part II’, The Journal of Symbolic Logic 16, 121–124.
Google Scholar
Lorenzen, P. and J. Myhill: 1959: ‘Constructive Definition of Certain Analytic Sets of Numbers’, The Journal of Symbolic Logic 24, 37–49.
Google Scholar
Schütte, K.: 1960, Beweistheorie, Springer, New York.
Google Scholar

Dept. of Mathematics, SUNY at Buffalo, 14214, Buffalo, New York, USA
John Myhill

Authors

John Myhill
View author publications
You can also search for this author in PubMed Google Scholar

Myhill, J. Paradoxes. Synthese 60, 129–143 (1984). https://doi.org/10.1007/BF00485622

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

Instant access to the full article PDF.