Turing, Systems of Logic Based on Ordinals (1939)

by A M
Venue:Proc. London Mathematical Soc., Ser. 2 , Vol 45