Alan Turing's Systems of Logic: The Princeton Thesis