Mathematical Logic by Alan Mathison Turing, C.E.M. Yates & R.O. Gandy