大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 数理逻辑 的图书(共79本)

代数与数理逻辑 : 王世强文集

0
索取号：O15-53/20131
作者：王世强、李仲来、
出版社：北京 : 北京师范大学出版社, 2005

逻辑与计算机设计基础

0
索取号：TP302.2/20134
作者：马诺、凯姆、邝继顺、
出版社：北京 : 机械工业出版社, 2012

罗素文集. 第3卷. , 数理哲学导论

0
索取号：B561.54/20131/3
作者：罗素、晏成书、
出版社：北京 : 商务印书馆, 2012

模型论及其在计算机科学中的应用

0
索取号：O141.4/20127
作者：罗里波、北京师范大学数学科学学院、
出版社：北京 : 北京师范大学出版社, 2012

现代逻辑引论 [电子资源]

0
索取号：
作者：
出版社：, 1989

逻辑斯谛：又称“数理逻辑”的二值数学 [电子资源]

0
索取号：
作者：
出版社：, 1997

心灵密码 [电子资源]

0
索取号：
作者：
出版社：, 2008

苏联大百科全书选译??数理逻辑 [电子资源]

0
索取号：
作者：
出版社：, 1960

递归论导论 [电子资源]

0
索取号：
作者：
出版社：, 1998

数理逻辑 [电子资源]

0
索取号：
作者：
出版社：, 1986

数理逻辑 [电子资源]

0
索取号：
作者：
出版社：, 1986

数理逻辑与机器证明 [电子资源]

0
索取号：
作者：
出版社：, 1983

数理逻辑（计算机类专业适用） [电子资源]

0
索取号：
作者：
出版社：, 1984

数理逻辑 [电子资源]

0
索取号：
作者：
出版社：, 1987

数学?计算?逻辑 [电子资源]

0
索取号：
作者：
出版社：, 1993

集合论含有原子的自然模型和布尔值模型

0
索取号：O144.3/20121
作者：李娜、
出版社：北京 : 北京师范大学出版社, 2011
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院