题名	责任者	出版社	索书号
有趣的数理逻辑	何普恒著	上海人民出版社	O141-49/2189
从前有个数:故事中的数学逻辑	(美) 约翰·阿伦·保罗斯著	上海科学技术出版社	O141-49/1040