题名	责任者	出版社	索书号
有趣的数理逻辑	何普恒著	上海人民出版社	O141-49/2189
不完备性:哥德尔的证明和悖论:the proof and paradox of Kurt Godel	(美) 丽贝卡·戈德斯坦著	湖南科学技术出版社	O141-49/6070