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