The constructive second number class (1938)

by Alonzo Church
Venue:Bull. Amer. Math. Soc