-
中文图书1.数理逻辑和算法理论:计算机科学与人工智能的数学基础 O141/44
馆藏复本:3
可借复本:3 袁相碗编著
中国铁道出版社有限公司 2023
(0) 馆藏 -
中文图书2.数理逻辑:证明及其限度.2版 O141/5
馆藏复本:3
可借复本:3 郝兆宽, 杨睿之, 杨跃著
复旦大学出版社 2020
(0) 馆藏 -
中文图书3.Mathematical logic.影印版 O141/40
馆藏复本:2
可借复本:2 H.D. 埃宾豪斯(H.D. Ebbinghaus), J. 弗卢姆(J. Flum), W. 托马斯(W. Thomas)
世界图书出版公司 2019
(0) 馆藏 -
中文图书4.数理逻辑入门 O141/39
馆藏复本:2
可借复本:2 R.M. 斯穆里安(Raymond M. Smullyan)著
中国轻工业出版社 2019
(0) 馆藏 -
中文图书5.数理逻辑导引 O141/36
馆藏复本:1
可借复本:1 冯琦编著
科学出版社 2017.9
(0) 馆藏 -
中文图书6.数理逻辑引论与归结原理.第2版 O141/34-2
馆藏复本:1
可借复本:1 王国俊著
科学出版社 2015
(0) 馆藏 -
中文图书7.数理逻辑基础 O141/32:1, O141/32:2
馆藏复本:2
可借复本:2 胡世华, 陆钟万著
科学出版社 2015
(0) 馆藏 -
中文图书8.数理逻辑与集合论 O141/30
馆藏复本:3
可借复本:3 房元霞, 赵汝木, 盛秀艳编著
科学出版社 2015
(0) 馆藏 -
中文图书9.数理逻辑引论.第2版 O141/27-2
馆藏复本:2
可借复本:2 李涛,张岩,刘峰主编
哈尔滨工业大学出版社 2016
(0) 馆藏 -
中文图书10.数理逻辑 O141/24
馆藏复本:3
可借复本:3 张再跃, 张晓如编著
清华大学出版社 2013
(0) 馆藏 -
中文图书11.数理逻辑引论 O141/19
馆藏复本:2
可借复本:2 李涛, 张岩, 刘峰主编
哈尔滨工业大学出版社 2011.11
(0) 馆藏 -
中文图书12.数理逻辑入门 O141/6
馆藏复本:1
可借复本:1 李锡胤编译
知识出版社 1984.5
(0) 馆藏 -
中文图书13.数理逻辑教程 O141/7
馆藏复本:4
可借复本:4 陈慕泽著
上海人民出版社 2001.4
(0) 馆藏 -
中文图书14.数理逻辑:离散数学第一分册 O158/13
馆藏复本:1
可借复本:1 王捍贫编著
北京大学出版社 2000.5
(0) 馆藏 -
中文图书15.数理逻辑 O141/10
馆藏复本:5
可借复本:5 毕富生著
高等教育出版社 2004
(0) 馆藏 -
中文图书16.数理逻辑通俗讲话 O141/4
馆藏复本:2
可借复本:2 王浩著
科学出版社 1981.2
(0) 馆藏 -
中文图书17.数理逻辑教程 O141/7*1
馆藏复本:2
可借复本:2 陈慕泽著
上海人民出版社 2001.4
(0) 馆藏 -
中文图书18.数理逻辑基础下册 O141/1
馆藏复本:2
可借复本:2 胡世华著
科学出版社 1982.8
(0) 馆藏 -
中文图书19.数理逻辑初步 O141/2
馆藏复本:1
可借复本:1 莫绍揆著
上海人民出版社 1980.8
(0) 馆藏 -
中文图书20.数理逻辑与范畴论应用 O14/2
馆藏复本:3
可借复本:3 王世强,孟晓青著
北京师范大学出版社 1999.3
(0) 馆藏