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