"Mathematical Logic in the 20th Century" - читать интересную книгу автора (Gerald E. Sacks)