题名	责任者	出版社	索书号
逻辑人生:歌德尔传	[奥]约翰·卡斯蒂(John L. Casti)，[奥]维尔纳·德波利(Werner DePauli)著	上海科技教育出版社	K837.126.11=534/1
哥德尔：逻辑的困境	(美)约翰·道森(John W. Dawson)著	湖南科学技术出版社	K837.126.11=534/2