Title: Alan Turing's Systems of Logic