Mathematics and Its Foundations

Journal of Symbolic Logic 4 (3):130-131 (1939)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266474

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

Review: A. G. D. Watson, Mathematics and Its Foundations. [REVIEW]S. C. Kleene - 1939 - Journal of Symbolic Logic 4 (3):130-131.
Mathematics and its foundations.A. G. D. Watson - 1938 - Mind 47 (188):440-451.
Watson A. G. D.. Mathematics and its foundations. Mind, n.s. vol. 47 , pp. 440–451.S. C. Kleene - 1939 - Journal of Symbolic Logic 4 (3):130-131.
Architecture of mathematics.Simon Serovajsky - 2021 - Boca Raton, FL: CRC Press.
Conceptions of Set and the Foundations of Mathematics.Luca Incurvati - 2020 - Cambridge University Press.
L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson. Introduction. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. Ščedrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. vii–xii. [REVIEW]H. B. Enderton - 1990 - Journal of Symbolic Logic 55 (2):867-868.
Logic in the History and Philosophy of Mathematical Practice.Valentina Harizanov - 2024 - In Bharath Sriraman (ed.), Handbook of the History and Philosophy of Mathematical Practice. Cham: Springer. pp. 1905-1920.
Stephen G. Simpson. Friedman's research on subsystems of second order arithmetic. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 137–159. [REVIEW]Wilfried Sieg - 1990 - Journal of Symbolic Logic 55 (2):870-874.
J. C. Shepherdson. Algorithmic procedures, generalized Turing algorithms, and elementary recursion theory. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 285–308. - J. C. Shepherdson. Computational complexity of real functions. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 309–315. - A. J. Kfoury. The pebble game and logics of programs. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, an. [REVIEW]J. V. Tucker - 1990 - Journal of Symbolic Logic 55 (2):876-878.
Stephen G. Simpson. Nonprovability of certain combinatorial properties of finite trees. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. Ṧčedrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 87–117. , pp. 45–65.). [REVIEW]W. Buchholz - 1990 - Journal of Symbolic Logic 55 (2):868-869.

Analytics

Added to PP
2017-02-21

Downloads
1 (#1,722,932)

6 months
23 (#666,848)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Wittgenstein and finitism.Mathieu Marion - 1995 - Synthese 105 (2):141 - 176.

Add more citations

References found in this work

No references found.

Add more references