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