-
中文图书1.数理逻辑引论 O141/2544
馆藏复本:2
可借复本:1 朱梧槚, 肖奚安编著
南京大学出版社 1995
(0) 馆藏 -
西文图书2.Introduction to mathematical logic : set theory, computable functions, model theory / O141/M251
馆藏复本:1
可借复本:0 Jerome Malitz.
Springer-Verlag, c1979.
(0) 馆藏 -
西文图书3.Introduction to mathematical logic and resolution principle = 数理逻辑引论与归结原理 / 2nd ed. O141/W246-2
馆藏复本:2
可借复本:1 Guo-jun Wang, Hong-jun Zhou.
Science Press, c2009.
(0) 馆藏 -
中文图书4.数理逻辑引论 O141/2544/ 1
馆藏复本:3
可借复本:2 朱梧槚, 肖奚安编著
大连理工大学出版社 2008
(0) 馆藏