Title: Alan Turings Systems Of Logic The Princeton Thesis
Subjects: Computer science, Symbolic and mathematical Logic