Alan Turing's Systems of Logic by Andrew Appel