| | 数学与猜想：合情推理模式 |
| | 索书号：O141/B87:2 | | 著 者：（美）G.波利亚著：李志尧等译 | | 出版社：科学出版社 2001.7 | 馆 藏：总计1册，在库1册【二楼开架书库1册】 |
|
|
|
| | 数学与猜想：数学中的归纳和类比 |
| | 索书号：O141/B87:1 | | 著 者：（美）G.波利亚著：李心灿等译 | | 出版社：科学出版社 2001.7 | 馆 藏：总计3册，在库3册【二楼开架书库3册】 |
|
|
|
| | 测试你的推理能力 |
| | 索书号：O14-49/S11 | | 著 者：（美）萨默斯著：林自新译 | | 出版社：上海科技教育出版社 1999.3 | 馆 藏：总计5册，在库5册【二楼开架书库5册】 |
|
|
|
| | 逻辑推理新趣题 |
| | 索书号：O14-49/S11 | | 著 者：（美）乔治J.萨默斯著：林自新译 | | 出版社：上海科技教育出版社 1999.4 | 馆 藏：总计5册，在库5册【二楼开架书库5册】 |
|
|
|
| | 有趣的逻辑推理 |
| | 索书号：O14-49/L472 | | 著 者：梁康健,欧阳录编著 | | 出版社：湖南教育出版社 1999.2 | 馆 藏：总计3册，在库3册【二楼开架书库3册】 |
|
|
|
| | 数理逻辑通俗讲话 |
| | 索书号：O141/W33 | | 著 者：王浩著 | | 出版社：科学出版社 1981.2 | 馆 藏：总计1册，在库1册【二楼开架书库1册】 |
|
|
|
| | 数理逻辑引论 |
| | 索书号：O141/W373 | | 著 者：王宪钧 | | 出版社： 1982.6 | 馆 藏：总计1册，在库1册【二楼开架书库1册】 |
|
|
|
| | 集与逻辑代数浅谈 |
| | 索书号：O144/O14 | | 著 者：欧阳禄编著 | | 出版社：湖南人民出版社 | 馆 藏：总计1册，在库1册【二楼开架书库1册】 |
|
|
|
| | 连续统假设 |
| | 索书号：O144/Z325 | | 著 者：张锦文等编著 | | 出版社：辽宁教育出版社 1989.4 | 馆 藏：总计3册，在库3册【二楼开架书库3册】 |
|
|
|
| | 哥德尔不完全性定理 |
| | 索书号：O14/Z822 | | 著 者：朱水林编著 | | 出版社：辽宁教育出版社 1987.11 | 馆 藏：总计2册，在库2册【二楼开架书库2册】 |
|
|
|
