"Collected works of A.M.Turing. Mathematical logic" - читать интересную книгу автора (Gandy R.O., Yates C.E.M. (eds.))