Stewart Shapiro. Introduction—intensional mathematics and constructive mathematics. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, vol. 113, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 1–10. - Stewart Shapiro. Epistemic and intuitionistic arithmetic. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 11–46. - John Myhill. Intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 47–61. - Nicolas D. Goodman. A genuinely intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 63–79. - Andrej Ščedrov. Extending Godel's modal interpretation to type theory and set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 81–119. - Robert C. Flagg. Church's [Book Review]

Journal of Symbolic Logic 56 (4):1496-1499 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

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

Essay Review.M. Detlefsen - 1988 - History and Philosophy of Logic 9 (1):93-105.
Intentional mathematics.Stewart Shapiro (ed.) - 1985 - New YorK, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Review: Stewart Shapiro, Intensional Mathematics. [REVIEW]Craig A. Smorynski - 1991 - Journal of Symbolic Logic 56 (4):1496-1499.
Intensional Mathematics.Stewart Shapiro - 1989 - Philosophy of Science 56 (1):177-178.
Intensional Mathematics. Stewart Shapiro. [REVIEW]Harold T. Hodes - 1989 - Philosophy of Science 56 (1):177-178.
The foundations of mathematics.Ian Stewart & David Tall - 1977 - New York: Oxford University Press. Edited by David Orme Tall.
Thinking about Mathematics. The Philosophy of Mathematics.Mark Balaguer - 2002 - Bulletin of Symbolic Logic 8 (1):89-91.
A minimalist two-level foundation for constructive mathematics.Maria Emilia Maietti - 2009 - Annals of Pure and Applied Logic 160 (3):319-354.
S. SHAPIRO "Intensional mathematics".M. Detlefsen - 1988 - History and Philosophy of Logic 9 (1):93.

Analytics

Added to PP
2016-06-30

Downloads
38 (#395,329)

6 months
7 (#328,545)

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