-
中文图书1.数理逻辑和算法理论:计算机科学与人工智能的数学基础 O141/441
馆藏复本:3
可借复本:3 袁相碗编著
中国铁道出版社有限公司 2023
(0) 馆藏 -
中文图书2.数理逻辑 O141/140
馆藏复本:2
可借复本:2 孙希文编著
高等教育出版社 2019
(0) 馆藏 -
中文图书3.数理逻辑.影印版 O141/4302
馆藏复本:2
可借复本:2 H.D. Ebbinghaus, J. Flum, W. Thomas
世界图书出版公司 2019
(0) 馆藏 -
中文图书4.数理逻辑的思想与方法.第2版 O141/440.2
馆藏复本:2
可借复本:2 李娜编著
南开大学出版社 2016
(0) 馆藏 -
中文图书5.数理逻辑 O141/116
馆藏复本:2
可借复本:2 张再跃, 张晓如编著
清华大学出版社 2013
(0) 馆藏 -
中文图书6.数理逻辑引论 O141/430
馆藏复本:3
可借复本:3 李涛, 张岩, 刘峰主编
哈尔滨工业大学出版社 2011
(0) 馆藏 -
中文图书7.数理逻辑实验教程 O141/440
馆藏复本:5
可借复本:5 李娜编著
武汉大学出版社 2010
(0) 馆藏 -
中文图书8.数理逻辑 O141/133
馆藏复本:5
可借复本:0 邢滔滔著
北京大学出版社 2008
(1) 馆藏 -
中文图书9.数理逻辑引论 O141/244
馆藏复本:5
可借复本:0 朱梧槚, 肖奚安编著
大连理工大学出版社 2008
(0) 馆藏