A set of postulates for the foundations of logic (1933)

by Alonzo Church
Venue:Annals of Mathematics