A Set of Postulates for the Foundation of Logic”, The (1932)

by A Church
Venue:Annals of Mathematics