-
中文图书1.数理逻辑引论.第2版 O141/244/2
馆藏复本:3
可借复本:3 朱梧槚 ... [等] 编著
大连理工大学出版社 2023
(0) 馆藏 -
中文图书2.数理逻辑引论:计算机科学与系统的天然基础 O141/046
馆藏复本:1
可借复本:1 刘志明, 裘宗燕编著
科学出版社 2022
(0) 馆藏 -
中文图书3.数理逻辑引论与归结原理.第2版 O141/162.2/2
馆藏复本:2
可借复本:2 王国俊著
科学出版社 2006
(0) 馆藏 -
中文图书4.数理逻辑引论 O141/430
馆藏复本:3
可借复本:3 李涛, 张岩, 刘峰主编
哈尔滨工业大学出版社 2011
(0) 馆藏 -
中文图书5.数理逻辑引论 O141/244
馆藏复本:5
可借复本:0 朱梧槚, 肖奚安编著
大连理工大学出版社 2008
(0) 馆藏 -
中文图书6.数理逻辑引论 O141/197
馆藏复本:3
可借复本:0 马光胜编著
哈尔滨船舶工程学院出版社 1997.3
(0) 馆藏 -
中文图书7.数理逻辑引论 O141/138
馆藏复本:2
可借复本:0 王宪钧著
北京大学出版社 1982.6
(0) 馆藏 -
中文图书8.数理逻辑引论与归结原理-2版 O141/162.2
馆藏复本:5
可借复本:0 王国俊著
科学出版社 2006.3
(0) 馆藏