A set of postulates for the foundation of logic (1 (1932)

by A Church
Venue:Annals of Mathematics