文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | B561.54/39 | 罗素的逻辑与哲学探究 | 张家龙著 | 中国社会科学出版社 | 2021 |
| 2 | O14/22 | Fermat's Last Theorem证明并7进复平面数阵求解素数 | 谭仕芬著 | 延边大学出版社 | 2017 |
| 3 | O141/17=2 | 面向计算机科学的数理逻辑 | 陆钟万著 | 科学出版社 | 2002.1 |
文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | B561.54/39 | 罗素的逻辑与哲学探究 | 张家龙著 | 中国社会科学出版社 | 2021 |
| 2 | O14/22 | Fermat's Last Theorem证明并7进复平面数阵求解素数 | 谭仕芬著 | 延边大学出版社 | 2017 |
| 3 | O141/17=2 | 面向计算机科学的数理逻辑 | 陆钟万著 | 科学出版社 | 2002.1 |