Intensional Mathematics

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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.
S. SHAPIRO "Intensional mathematics".M. Detlefsen - 1988 - History and Philosophy of Logic 9 (1):93.
Review: Stewart Shapiro, Intensional Mathematics. [REVIEW]Craig A. Smorynski - 1991 - Journal of Symbolic Logic 56 (4):1496-1499.
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.
A Manual of Intensional Logic.Johan van Benthem - 1990 - Studia Logica 49 (4):601-604.
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.

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

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.
A Machine That Knows Its Own Code.Samuel A. Alexander - 2014 - Studia Logica 102 (3):567-576.

View all 17 citations / Add more citations

References found in this work

No references found.

Add more references