Some properties of conversion,” Trans (1936)

by A Church, J B Rosser
Venue:American Math. Soc