A Formulation of the Simple Theory of Types

Journal of Symbolic Logic 5 (3):114-115 (1940)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266866

Other Versions

original Church, Alonzo (1940) "A formulation of the simple theory of types". Journal of Symbolic Logic 5(2):56-68

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,290

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 (2):56-68.
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, Schroder's Anticipation of the Simple Theory of Types. [REVIEW]W. V. Quine - 1940 - Journal of Symbolic Logic 5 (2):71-71.
Alonzo church.Richard A. Shore - 1997 - Bulletin of Symbolic Logic 3 (2):153.
Review: Alonzo Church, Logic, Arithmetic, and Automata. [REVIEW]J. Richard Buchi - 1964 - Journal of Symbolic Logic 29 (4):210-210.
Review: Alonzo Church, Introduction to Mathematical Logic. [REVIEW]S. C. Kleene - 1958 - Journal of Symbolic Logic 23 (3):362-362.
Dedicated to the memory of Alonzo Church.J. Lambek - 1997 - Bulletin of Symbolic Logic 3 (3).
In Memoriam: Alonzo Church 1903–1995.H. B. Enderton - 1995 - Bulletin of Symbolic Logic 1 (4):486-488.
Church Alonzo. An unsolvable problem of elementary number theory. American journal of mathematics, vol. 58 , pp. 345–363. [REVIEW]Paul Bernays - 1936 - Journal of Symbolic Logic 1 (2):73-74.

Analytics

Added to PP
2017-02-21

Downloads
31 (#718,157)

6 months
4 (#1,232,162)

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.
A fictionalist theory of universals.Tim Button & Robert Trueman - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.
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.

View all 132 citations / Add more citations

References found in this work

No references found.

Add more references