Review: Alonzo Church, Schroder's Anticipation of the Simple Theory of Types [Book Review]

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266177

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

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

Schröder's anticipation of the simple theory of types.Alonzo Church - 1939 - Erkenntnis 8 (1):407-411.
Review: Alonzo Church, A Formulation of the Simple Theory of Types. [REVIEW]W. V. Quine - 1940 - Journal of Symbolic Logic 5 (3):114-115.
A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
Review: Ramon Crespo Pereira, Sobre el Algebra de la Logica de Schroder. [REVIEW]Alonzo Church - 1952 - Journal of Symbolic Logic 17 (2):154-154.
Review: A. Dumitriu, The Antinomy of the Theory of Types. [REVIEW]Alonzo Church - 1972 - Journal of Symbolic Logic 37 (1):194-194.
Review: W. V. Quine, Introductory Note; Bertrand Russell, Mathematical Logic as Based on the Theory of Types. [REVIEW]Alonzo Church - 1974 - Journal of Symbolic Logic 39 (2):355-356.
A partial functions version of church's simple theory of types.William M. Farmer - 1990 - Journal of Symbolic Logic 55 (3):1269-1291.
Review: Bertrand Russell, Irving M. Copi, James A. Gould, Mathematical Logic as Based on the Theory of Types. [REVIEW]Alonzo Church - 1974 - Journal of Symbolic Logic 39 (2):356-356.
Russellian Simple Type Theory.Alonzo Church - 1973 - Proceedings and Addresses of the American Philosophical Association 47:21 - 33.
Review: R. M. Martin, On Types, Denotation, and Truth. [REVIEW]Alonzo Church - 1954 - Journal of Symbolic Logic 19 (2):139-140.
Review: Andrew Ushenko, Dr. Quine's Theory of Truth-Functions. [REVIEW]Alonzo Church - 1942 - Journal of Symbolic Logic 7 (1):45-45.
Russell's 1903 - 1905 Anticipation of the Lambda Calculus.Kevin Klement - 2003 - History and Philosophy of Logic 24 (1):15-37.
Types in logic and mathematics before 1940.Fairouz Kamareddine, Twan Laan & Rob Nederpelt - 2002 - Bulletin of Symbolic Logic 8 (2):185-245.

Analytics

Added to PP
2013-11-22

Downloads
11 (#1,132,055)

6 months
4 (#775,606)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references