"Metamathematics, machines and Goedel's proof" - читать интересную книгу автора (N. Shankar)