Turing, Systems of logic based on ordinals (0)

by A M
Venue:Proc. London Math. Soc. 45 Part 3 (1939), 161–228; reprinted in Davis [1965