Alan Turing's Systems of Logic door Andrew Appel