Systems of Logic based on Ordinals. Turing, A. Ph.D. Thesis, Department of Mathematics, Princeton University, May, 1938.
bibtex   
@PHDTHESIS{Tur38a,
  author = {Turing, Alan},
  title = {Systems of Logic based on Ordinals},
  school = {Department of Mathematics, Princeton University},
  year = {1938},
  month = {May},
  file = {Tur38a.pdf:Tur38a.pdf:PDF}
}

Downloads: 0