-
中文图书1.数理逻辑引论 B813/1038
馆藏复本:9
可借复本:7 王宪钧著
北京大学出版社 1982
(0) 馆藏 -
中文图书2.数理逻辑引论 O141/2544
馆藏复本:2
可借复本:1 朱梧槚, 肖奚安编著
南京大学出版社 1995
(0) 馆藏 -
中文图书3.数理逻辑引论 O141/1797
馆藏复本:3
可借复本:2 马光胜编著
哈尔滨工程大学出版社 1997
(0) 馆藏 -
中文图书4.数理逻辑引论.第2版 O141/1038/ -2
馆藏复本:3
可借复本:2 王宪钧著
北京大学出版社 1998
(0) 馆藏 -
西文图书5.Introduction to mathematical logic and resolution principle = 数理逻辑引论与归结原理 / 2nd ed. O141/W246-2
馆藏复本:2
可借复本:1 Guo-jun Wang, Hong-jun Zhou.
Science Press, c2009.
(0) 馆藏 -
中文图书6.数理逻辑引论 O141/2544/ 1
馆藏复本:3
可借复本:2 朱梧槚, 肖奚安编著
大连理工大学出版社 2008
(0) 馆藏 -
中文图书7.数理逻辑引论 O141/4035
馆藏复本:2
可借复本:1 李涛, 张岩, 刘峰主编
哈尔滨工业大学出版社 2011
(0) 馆藏 -
中文图书8.数理逻辑引论与归结原理 O141/1062/ 1
馆藏复本:7
可借复本:6 王国俊著
科学出版社 2003
(0) 馆藏 -
中文图书9.数理逻辑引论与归结原理.第2版 O141/1062/ 1-2
馆藏复本:5
可借复本:4 王国俊著
科学出版社 2006
(0) 馆藏