A Set of Postulates for the Foundation of Logic (1932)

by A Church
Venue:The Annals of Mathematics