"From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931 (Source Books in the History of the Sciences)" - читать интересную книгу автора (Jean van Heijenoort)