Dedicated to my teacher, Alonzo Church, in his 91st year

Bulletin of Symbolic Logic 2 (2) (1996)
  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: 91,386

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

Dedicated to the memory of Alonzo Church.J. Lambek - 1997 - Bulletin of Symbolic Logic 3 (3).
Review: Leon Henkin, Banishing the Rule of Substitution for Functional Variables. [REVIEW]Alonzo Church - 1955 - Journal of Symbolic Logic 20 (2):179-180.
Visions of Henkin.María Manzano & Enrique Alonso - 2015 - Synthese 192 (7):2123-2138.
Alonzo church:his life, his work and some of his miracles.Maía Manzano - 1997 - History and Philosophy of Logic 18 (4):211-232.
Logic, meaning, and computation: essays in memory of Alonzo Church.C. Anthony Anderson & Michael Zelëny (eds.) - 2001 - Boston: Kluwer Academic Publishers.
Review: Octavian C. Basca, La Synthese des automates finis par la methode de A. Church. [REVIEW]Alonzo Church - 1972 - Journal of Symbolic Logic 37 (3):625-626.
The Very Possibility of Language: A Sermon on the Consequences of Missing Church.Nathan Salmon - 2001 - In C. Anthony Anderson & Michael Zelëny (eds.), Logic, meaning, and computation: essays in memory of Alonzo Church. Boston: Kluwer Academic Publishers.
Vashti McCollum and separation of church and state in the USA.Robert Bender - 2012 - The Australian Humanist (106):13.
Review: Leon Brunschvicg, Les Etapes de la Philosophie Mathematique. [REVIEW]Alonzo Church - 1948 - Journal of Symbolic Logic 13 (4):216-216.
Extensions of some theorems of Godel and church.I. Alonzo Church - 1965 - In Martin Davis (ed.), The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions. Dover Publication. pp. 230.
A Year in the Life.Mark Colyvan - unknown

Analytics

Added to PP
2014-01-21

Downloads
51 (#305,341)

6 months
1 (#1,510,037)

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

A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
The theory of Representations for Boolean Algebras.M. H. Stone - 1936 - Journal of Symbolic Logic 1 (3):118-119.

View all 7 references / Add more references