题名	责任者	出版社	索书号
从前有个数:故事中的数学逻辑	(美) 约翰·阿伦·保罗斯著	上海科学技术出版社	O141-49/1040
不完备性:哥德尔的证明和悖论:the proof and paradox of Kurt Godel	(美) 丽贝卡·戈德斯坦著	湖南科学技术出版社	O141-49/6070