"Godel on Computability" - читать интересную книгу автора (Sieg Wilfried)