Turing, Systems of logic based on the ordinals (1939)

by A M
Venue:Proceedings of the London Mathematical Society 45