Details

Systems of Logic Based on Ordinals

Turing, Alan M.   Princeton University ProQuest Dissertations & Theses,  1938. 0134868.