检索到 29 条 主题词=数理逻辑 的结果
-
中文图书1.哥德尔、艾舍尔、巴赫:集异璧之大成 TP1/3
馆藏复本：2
可借复本：1 (美)侯世达著
商务印书馆 2021
(0) 馆藏 -
中文图书2.数学与猜想.第一卷,数学中的归纳和类比 O1-0/14-1
馆藏复本：7
可借复本：6 (美)G.波利亚著
科学出版社 2001
(0) 馆藏 -
中文图书3.实用逻辑斯谛回归方法 O141/40
馆藏复本：3
可借复本：2 (美)约瑟夫·M. 西尔贝(Joseph M. Hilbe)著
机械工业出版社 2019
(0) 馆藏 -
中文图书4.迷人的逻辑题 O141/38
馆藏复本：3
可借复本：2 (美) 亚历克斯·贝洛斯(Alex Bellos)著
中信出版社 2018
(0) 馆藏 -
中文图书5.McCarthy函数和Ackermann函数 O141/36
馆藏复本：2
可借复本：1 刘培杰数学工作室编译
哈尔滨工业大学出版社 2017
(0) 馆藏 -
中文图书6.数理逻辑与集合论 O141/35
馆藏复本：3
可借复本：2 房元霞, 赵汝木, 盛秀艳编著
科学出版社 2015
(0) 馆藏 -
中文图书7.数理逻辑导引 O141/33
馆藏复本：2
可借复本：1 冯琦编著
科学出版社 2017
(0) 馆藏 -
中文图书8.作为哲学的数理逻辑 O141/31
馆藏复本：3
可借复本：2 杨睿之著
复旦大学出版社 2016
(0) 馆藏 -
中文图书9.面向计算机科学的数理逻辑.2版 TP301.6/10=2
馆藏复本：13
可借复本：11 陆钟万著
科学出版社 2002
(0) 馆藏 -
中文图书10.基于包含度的不确定推理 O141/28
馆藏复本：1
可借复本：1 张文修, 梁怡, 徐萍编著
清华大学出版社 2007
(0) 馆藏 -
中文图书11.符号逻辑和定理的机中证明.第三分册 O141/27-3
馆藏复本：2
可借复本：2 C.L.Chang等著
陕西省人工智能学会筹备组 1982
(0) 馆藏 -
中文图书12.数理逻辑引论.第2版 O141/26=2
馆藏复本：3
可借复本：2 李涛, 张岩, 刘峰主编
哈尔滨工业大学出版社 2016
(0) 馆藏 -
中文图书13.对偶三角模－三角余模逻辑及推理 O141/24
馆藏复本：3
可借复本：2 张兴芳著
科学出版社 2015
(0) 馆藏 -
中文图书14.数理逻辑:基本原理与形式演算.第2版 O141/22=2
馆藏复本：4
可借复本：3 李未著
科学出版社 2014
(0) 馆藏 -
中文图书15.逻辑悖论研究引论.修订本 B812.2/8=2
馆藏复本：4
可借复本：3 张建军著
人民出版社 2014
(0) 馆藏 -
中文图书16.应用逻辑 O141/23
馆藏复本：4
可借复本：3 (美) Anil Nerode, Richard A. Shore著
机械工业出版社 2007
(0) 馆藏 -
中文图书17.非经典数理逻辑与近似推理 O141/18
馆藏复本：10
可借复本：10 王国俊著
科学出版社 2000.10
(0) 馆藏 -
中文图书18.互逆主义数理逻辑 O141/20
馆藏复本：6
可借复本：6 周训伟著
中国科学技术出版社 2004
(0) 馆藏 -
中文图书19.集论与逻辑:面向计算机科学 O144/6
馆藏复本：6
可借复本：6 沈恩绍著
科学出版社 2003
(0) 馆藏 -
中文图书20.数理逻辑引论与归结原理 O141/19
馆藏复本：10
可借复本：10 王国俊著
科学出版社 2003
(0) 馆藏
