Title: Alan Turing's Systems of Logic: The Princeton Thesis
Subjects: Logic, symbolic and mathematical