Mathematical Logic, Volume 4 by Alan Mathison Turing & R. O. Gandy