名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: 现代 , 检索到: 11 条结果, 检索时间: 0.029 秒 , 排序选项: 排序方式: 隐藏分类导航 | 隐藏趋势图


保存至书单:
1.
哥德尔证明
出版社: 中国轻工业出版社   出版日期: 2021
文献类型: 图书 , 索书号: O141/48
2.
出版社: 商务印书馆   出版日期: 2019
文献类型: 图书 , 索书号: O1-0/85(z)
3.
出版社: 湖南科学技术出版社   出版日期: 2008
文献类型: 图书 , 索书号: O141/28
4.
数理逻辑基础.下册 已借9次.
出版社: 科学出版社   出版日期: 2015
文献类型: 图书 , 索书号: O141/2(yy)-2
5.
数理逻辑基础 已借2次.
出版社: 科学出版社   出版日期: 2015
文献类型: 图书 , 索书号: O141/2(yy)-1
6.
数理逻辑引论与归结原理 已借27次.
著者: 王国俊
出版社: 科学出版社   出版日期: 2006
文献类型: 图书 , 索书号: O141/13(2)
7.
数理逻辑引论与归结原理 已借30次.
著者: 王国俊
出版社: 科学出版社   出版日期: 2003.9
文献类型: 图书 , 索书号: O141/13
8.
数理逻辑导引
著者: 冯琦
出版社: 科学出版社   出版日期: 2017
文献类型: 图书 , 索书号:
9.
著者: 王国俊
出版社: 科学出版社   出版日期: 2008
文献类型: 图书 , 索书号: O141/15(2)
10.
著者: 王国俊
出版社: 科学出版社   出版日期: 2008
文献类型: 图书 , 索书号: O141/15(d2)