"From Frege to Goedel: A source book in mathematical logic, 1879-1931" - читать интересную книгу автора (Jean van Heijenoort)