-
中文图书1.数理逻辑引论与归结原理.第2版 O141/34-2
馆藏复本:1
可借复本:1 王国俊著
科学出版社 2015
(0) 馆藏
-
中文图书2.数理逻辑引论.第2版 O141/27-2
馆藏复本:2
可借复本:2 李涛,张岩,刘峰主编
哈尔滨工业大学出版社 2016
(0) 馆藏
-
中文图书3.数理逻辑引论 O141/19
馆藏复本:2
可借复本:2 李涛, 张岩, 刘峰主编
哈尔滨工业大学出版社 2011.11
(0) 馆藏