"Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science)" - читать интересную книгу автора (N. Shankar)