哥德尔传（讲述自亚里士多德之后最伟大的逻辑学家——哥德尔的一生）

斯蒂芬·布迪安斯基