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

Other Versions

reprint Henkin, Leon (1996) "The discovery of my completeness proofs". Bulletin of Symbolic Logic 2(2):127-158

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 96,689

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).
In memoriam: Leon Albert Henkin, 1921—2006.J. Donald Monk - 2009 - Bulletin of Symbolic Logic 15 (3):326-331.
Visions of Henkin.María Manzano & Enrique Alonso - 2015 - Synthese 192 (7):2123-2138.
Alonzo church.Richard A. Shore - 1997 - Bulletin of Symbolic Logic 3 (2):153.
In Memoriam: Alonzo Church 1903–1995.H. B. Enderton - 1995 - Bulletin of Symbolic Logic 1 (4):486-488.
Alonzo Church.Oliver Marshall & Harry Deutsch - 2021 - Stanford Encyclopedia of Philosophy.
Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.
Church Alonzo. On the concept of a random sequence. Bulletin of the American Mathematical Society, vol. 46 , pp. 130–135. [REVIEW]Arthur H. Copeland - 1940 - Journal of Symbolic Logic 5 (2):71-72.

Analytics

Added to PP
2014-01-21

Downloads
51 (#341,659)

6 months
51 (#105,349)

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