大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 数理逻辑 的图书(共79本)
 |
数学家的逻辑 [电子资源]8.1索取号： 作者： 出版社：, 1989 |  |
逻辑人生 : 哥德尔传8.1索取号：K837.126.11/20052 作者：卡斯蒂、 J. L.、德波利-希马诺维奇、 W.、刘晓力、叶闯、 出版社：上海 : 上海科技教育出版社, 2002 |
 |
数学方法论十二讲7.9索取号：O1-0/20086 作者：徐利治、 出版社：大连 : 大连理工大学出版社, 2007 |  |
数理逻辑7.8索取号：O141/20095 作者：邢滔滔、 出版社：北京 : 北京大学出版社, 2008 |
 |
数学模型7.6索取号：O22/20003.4 作者：姜启源、谢金星、叶俊、 出版社：北京 : 高等教育出版社, 2011 |  |
数理逻辑发展史 : 从莱布尼茨到哥德尔7.5索取号：627798 作者：张家龙、 出版社：北京 : 社会科学文献出版社, 1993.8 |
 |
数理逻辑基础 : 一阶逻辑与一阶理论7.4索取号：O141/20062 作者：陈慕泽、余俊伟、 出版社：北京 : 中国人民大学出版社, 2003 |  |
逻辑学7.4索取号：B812/991 作者：宋文坚、 出版社：北京 : 人民出版社, 1998 |
 |
应用逻辑7.2索取号：O141/20083 作者：尼罗德、肖尔、丁德成、徐亚涛、吴永成、 出版社：北京 : 机械工业出版社, 2007 |  |
面向计算机科学的数理逻辑 mian xiang ji suan ji ke xue de shu li luo ji6.6索取号：627781 作者：陆钟万、 出版社：北京 : 科学出版社, 2002 |
 |
数理逻辑与集合论6.5索取号：627768 作者：石纯一、王家廞、 出版社：北京 : 清华大学出版社, 2000 |  |
面向计算机科学的数理逻辑 : 系统建模与推理 : modelling and reasoning about systems6.4索取号：O141/20081 作者：胡特、瑞安、何伟、樊磊、 出版社：北京 : 机械工业出版社, 2007 |
 |
数理逻辑 : 基本原理与形式演算0索取号： 作者：李未 著、 出版社：北京 : 科学出版社, 2014.03 | |
数理逻辑0索取号：O141/20141 作者：张再跃、张晓如、 出版社：北京 : 清华大学出版社, 2013 |
|
数理逻辑讲义0索取号：654143 作者：刘治旺 (数理逻辑)、 出版社：郑州 : 郑州大学哲学系, 1982 |  |
现代逻辑学讲义 : 数理逻辑0索取号：B81/10 作者：李小五、 出版社：广州 : 中山大学出版社, 2005 |
最近添加的分类
粤公网安备 44030602003680号