Intensional Mathematics

Studia Logica 50 (1):161-162 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,449

External links

  • This entry has no external links. Add one.
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

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.
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. [REVIEW]Craig A. Smorynski - 1991 - Journal of Symbolic Logic 56 (4):1496-1499.
Essay Review.M. Detlefsen - 1988 - History and Philosophy of Logic 9 (1):93-105.
Intensional expressions.Kazimierz Ajdukiewicz - 1967 - Studia Logica 20 (1):63 - 86.
Intensional relations.John Woods - 1969 - Studia Logica 25 (1):61 - 77.
Church's Thesis After 70 Years.Adam Olszewski, Jan Wolenski & Robert Janusz (eds.) - 2006 - Ontos Verlag.
Mathematics of Fuzzy Sets.Ulrich Höhle & Stephen Rodabaugh - 2000 - Studia Logica 66 (3):444-445.

Analytics

Added to PP
2015-02-06

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Mathematical Modality: An Investigation in Higher-order Logic.Andrew Bacon - 2024 - Journal of Philosophical Logic 53 (1):131-179.
Implicit epistemic aspects of constructive logic.Göran Sundholm - 1997 - Journal of Logic, Language and Information 6 (2):191-212.
In defense of epistemic arithmetic.Leon Horsten - 1998 - Synthese 116 (1):1-25.
Mechanism, truth, and Penrose's new argument.Stewart Shapiro - 2003 - Journal of Philosophical Logic 32 (1):19-42.

View all 20 citations / Add more citations

References found in this work

No references found.

Add more references