System of logics based on ordinals (1939)

by A M Turing
Venue:Proc. London Math. Soc