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