"Computability: A mathematical sketchbook" - читать интересную книгу автора (Bridges D.S.)