-
西文图书1.Introduction to mathematical logic and resolution principle = 数理逻辑引论与归结原理 / 2nd ed. O141/W246=2
馆藏复本:3
可借复本:3 Wang, Guojun.
Science Press, c2009.
(0) 馆藏 -
中文图书2.数理逻辑引论
馆藏复本:0
可借复本:0 朱梧檟,肖奚安编著
大连理工大学出版社 2008-3-1
(0) 馆藏 -
中文图书3.数理逻辑引论与归结原理.第2版 O141/37=2
馆藏复本:3
可借复本:3 王国俊著
科学出版社 2006
(0) 馆藏 -
中文图书4.数理逻辑引论 O141/14
馆藏复本:9
可借复本:4 王宪钧著
北京大学出版社 1982.6
(0) 馆藏 -
中文图书5.数理逻辑引论与归结原理 O141/37
馆藏复本:8
可借复本:4 王国俊著
科学出版社 2003
(0) 馆藏 -
中文图书6.数理逻辑引论.2版 O141/24
馆藏复本:3
可借复本:1 王宪钧著
北京大学出版社 1998
(0) 馆藏