"Collected Works of A.M. Turing : Mathematical Logic (Turing, Alan Mathison, Works.)" - читать интересную книгу автора (R.O. Gandy†, C.E.M. Yates)