A mathematical logic without variables (1935)

by J B Rosser
Venue:Annals of Mathematics