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)

Categories

Keywords

Reprint years

DOI

10.2307/2266170

Links

PhilArchive



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

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

A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.
Church Alonzo. A formulation of the simple theory of types.W. V. Quine - 1940 - Journal of Symbolic Logic 5 (3):114-115.
Review: Alonzo Church, A Formulation of the Simple Theory of Types. [REVIEW]W. V. Quine - 1940 - Journal of Symbolic Logic 5 (3):114-115.
Review: Alonzo Church, Schroder's Anticipation of the Simple Theory of Types. [REVIEW]W. V. Quine - 1940 - Journal of Symbolic Logic 5 (2):71-71.
Church Alonzo. Schröder's anticipation of the simple theory of types. Preprinted for the members of the Fifth International Congress for the Unity of Science, Cambridge, Mass., 1939, as from The journal of unified science , vol. 9; 4 pp. [REVIEW]W. V. Quine - 1940 - Journal of Symbolic Logic 5 (2):71-71.
Review: Alonzo Church, Paul Henle, Horace M. Kallen, Susanne K. Langer, A Formulation of the Logic of Sense and Denotation. [REVIEW]Rulon Wells - 1952 - Journal of Symbolic Logic 17 (2):133-134.
Review: Alonzo Church, The Weak Theory of Implication. [REVIEW]Haskell B. Curry & William Craig - 1953 - Journal of Symbolic Logic 18 (2):177-178.
Review: Alonzo Church, An Unsolvable Problem of Elementary Number Theory. [REVIEW]Paul Bernays - 1936 - Journal of Symbolic Logic 1 (2):73-74.
Review: Alonzo Church, Mathematics and Logic. [REVIEW]E. J. Lemmon - 1963 - Journal of Symbolic Logic 28 (1):106-107.
Review: Alonzo Church, S. C. Kleene, Formal Definitions in the Theory of Ordinal Numbers. [REVIEW]Barkley Rosser - 1937 - Journal of Symbolic Logic 2 (2):87-87.

Analytics

Added to PP
2009-01-28

Downloads
166 (#117,073)

6 months
23 (#153,074)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Classicism.Andrew Bacon & Cian Dorr - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press. pp. 109-190.
Combining Montague semantics and discourse representation.Reinhard Muskens - 1996 - Linguistics and Philosophy 19 (2):143 - 186.
Abstract objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.
Ordinal Type Theory.Jan Plate - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.

View all 218 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.

Add more references