A formulation of the simple theory of types

Journal of Symbolic Logic 5 (2):56-68 (1940)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,479

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
125 (#102,046)

6 months
4 (#185,765)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Classicism.Andrew Bacon & Cian Dorr - forthcoming - In Peter Fritz & Nicholas K. Jones (eds.), Higher-order Metaphysics. Oxford University Press.
Abstract objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.
Combining Montague semantics and discourse representation.Reinhard Muskens - 1996 - Linguistics and Philosophy 19 (2):143 - 186.
A Theory of Practical Meaning.Carlotta Pavese - 2017 - Philosophical Topics 45 (2):65-96.

View all 196 citations / Add more citations

References found in this work

Principia mathematica.A. N. Whitehead & B. Russell - 1910-1913 - Revue de Métaphysique et de Morale 19 (2):19-19.
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.
Mathematical Logic.Alonzo Church - 1937 - Journal of Symbolic Logic 2 (1):39-40.

Add more references