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