Systems of Logic based on Ordinals (1939)

by A Turing
Venue:Proc. London Math. Soc. Series 2