Mal:Kilde doi/10.1112.2Fplms.2Fs2-45.1.161

Turing, A. M. (1939). «Systems of Logic Based on Ordinals». Proceedings of the London Mathematical Society: 161–228. doi:10.1112/plms/s2-45.1.161.