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