大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 数理逻辑 的图书(共79本)
 |
离散数学. 第一分册. , 数理逻辑0索取号：628270 作者：王捍贫、 出版社：北京 : 北京大学出版社, 1997 |  |
可计算性理论0索取号：O141.3/20001 作者：杨东屛、李昂生、 出版社：北京 : 科学出版社, 1999 |
 |
递归论0索取号：655453 作者：莫绍揆、 出版社：北京 : 科学出版社, 1987.11 |  |
世纪转折处的哲学巨匠：弗雷格0索取号：795809 作者：王路、 出版社：北京 : 社会科学文献出版社, 1998 |
 |
模型论基础0索取号：O141.4/871 作者：王世强、 出版社：北京 : 科学出版社, 1987 |  |
可能世界的逻辑0索取号：B815/961 作者：马库斯 R.B.、康宏逵、 出版社：上海 : 上海译文出版社, 1993 |
 |
计算机语言的形式语义0索取号：116439 作者：陆汝钤、 出版社：北京 : 科学出版社, 1992.12 |  |
数理逻辑0索取号：116445 作者：叶尔绍夫 Ю.Л.、巴鲁金 Е.А.、沈百英、叶瑞芬、 出版社：上海 : 华东化工学院出版社, 1990.5 |
 |
数理逻辑概貌0索取号：O141/811(4) 作者：莫绍揆、 出版社：北京 : 科学技术文献出版社, 1989.3 | |
数理逻辑0索取号：049157 作者：莫绍揆、 出版社：北京 : 高等教育出版社, 1984 |
|
数理逻辑0索取号：627792 作者：王兵山、张强、李舟军、 出版社：长沙 : 国防科技大学出版社, 1993.12 | |
离散数学导 : 数理逻辑·集合·关系部分0索取号：O158/922 作者：黄和之、 出版社：北京 : 北京经济学院出版社, 1992.3 |
|
数理逻辑0索取号：O141/911 作者：俞瑞钊、 出版社：杭州 : 浙江大学出版社, 1990.11 | |
数理逻辑0索取号：O141/873 作者：汉密尔顿、A.G.、朱水林、 出版社：上海 : 华东师范大学出版社, 1986 |
 |
人工智能. 下册0索取号：132598 作者：陆汝钤、 出版社：北京 : 科学出版社, 1996 |
最近添加的分类
粤公网安备 44030602003680号