Alonzo Church

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

A formulation of the simple theory of types
Alonzo Church (1940) · Journal of Symbolic Logic · Cambridge University Press
A note on the Entscheidungsproblem
Alonzo Church (1936) · Cambridge University Press (CUP)
An Unsolvable Problem of Elementary Number Theory
Alonzo Church (1936) · American Journal of Mathematics · Johns Hopkins University Press
A Set of Postulates for the Foundation of Logic
Alonzo Church (1932) · The Annals of Mathematics · JSTOR