A set of postulates for the foundation of logic 2 (1933)

by Alonzo Church
Venue:Annals of Mathematics