Turing_1939_Sysyems.pdf (出版社版), 6MB
Turing, A. M. (1939). Systems of logic based on ordinals. Proceedings of the London Mathematical Society, Series 2, 45, 161-228.