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

by A Church
Venue:II., Annals of Mathematics (34