Details

Systems of Logic Based on Ordinals

Turing, Alan M.   Princeton University ProQuest Dissertations Publishing,  1938. 0134868.