逻辑人生：哥德尔传 = Gödel：a life of logic

Main Authors: (美) 卡斯蒂 Casti, John L. 1943- (著); (奥) 德波利 DePauli, Werner (著)
Group Author: 刘晓力 (译); 叶闯 (译)
Published: 上海科技教育出版社有限公司
Publication Dates: 2023
Call Number: K837.126.11/1622-3