-
中文图书1.数理逻辑引论.第2版 O141/26=2
馆藏复本:3
可借复本:2 李涛, 张岩, 刘峰主编
哈尔滨工业大学出版社 2016
(0) 馆藏 -
中文图书2.数理逻辑引论与归结原理 O141/19
馆藏复本:10
可借复本:10 王国俊著
科学出版社 2003
(0) 馆藏 -
中文图书3.数理逻辑引论与归结原理 O141/19=2
馆藏复本:15
可借复本:15 王国俊著
科学出版社 2006
(0) 馆藏 -
中文图书4.数理逻辑引论 O141/16=2
馆藏复本:3
可借复本:3 王宪钧著
北京大学出版社 1998.1
(0) 馆藏