大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 数理逻辑 的图书(共79本)
 |
数理逻辑9.6索取号：O141/921 作者：汪芳庭、 出版社：合肥 : 中国科学技术大学出版社, 1990.9 |  |
哥德尔证明 / (美) 欧内斯特·内格尔, 詹姆士·R·纽曼著9.2索取号：O141/20091 作者：内格尔、纽曼、陈东威、连永君、 出版社：北京 : 中国人民大学出版社, 2008 |
 |
符号逻辑讲义9索取号：O141/20103 作者：徐明、 出版社：武汉 : 武汉大学出版社, 2008 |  |
蒯因著作集9索取号：B712.59/20076 作者：奎因、涂纪亮、陈波、 出版社：北京 : 中国人民大学出版社, 2007 |
 |
数学基础 [电子资源]8.8索取号： 作者： 出版社：, 2001 |  |
哥德尔8.8索取号：B712.59/20085 作者：王浩、康宏逵、 出版社：上海 : 上海译文出版社, 2002 |
 |
数理逻辑 : 基本原理与形式演算8.7索取号：O141/20082 作者：李未、 出版社：北京 : 科学出版社, 2008 |  |
逻辑与演绎科学方法论导论8.7索取号：162874 作者：塔尔斯基、周礼全、 出版社：北京 : 商务印书馆, 1989 |
 |
苹果核里的桃先生 [电子资源]8.6索取号： 作者： 出版社：, 2003 |  |
算术基础 [电子资源]8.6索取号： 作者： 出版社：, 1998 |
 |
公理集合论导引8.6索取号：O144/921 作者： 出版社：北京 : 科学出版社, 1991 |  |
20世纪七大思想家自述8.5索取号：B151/20051 作者：斯蒂尔、 D.、田毅松、赵正国、 出版社：上海 : 上海人民出版社, 2004 |
 |
康托的无穷的数学和哲学 : his mathematics and philosophy of the infinite8.4索取号：O1-0/20093 作者：道本、郑毓信、刘晓力、 出版社：大连 : 大连理工大学出版社, 2008 |  |
可德尔不完全性定理 [电子资源]8.3索取号： 作者： 出版社：, 1997 |
 |
一阶逻辑与一阶理论8.2索取号：O141/20072 作者：叶峰 (哲学)、 出版社：北京 : 中国社会科学出版社, 1994 |  |
数理逻辑8.2索取号：O141/20075 作者：恩德托恩、沈复兴、陈磊、孙运传、 出版社：北京 : 人民邮电出版社, 2007 |
最近添加的分类
粤公网安备 44030602003680号