"Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, ... Computer Science and General Issues)" - читать интересную книгу автора (Klaus Ambos-Spies, Benedikt Lowe, Wolfgang Merkle)