-
中文图书1.数理逻辑引论.第2版 O141/44(2)
馆藏复本:2
可借复本:2 朱梧槚 ... [等] 编著
大连理工大学出版社 2023
(0) 馆藏 -
西文图书2.Введение в математическую логику / P/O141/TA/V.1
馆藏复本:1
可借复本:0 А. Чёрч ; пер. с англ. В. С. Чернявского ; под ред. В. А. Ус...
Изд-во Иностранной лит., 1960-
(0) 馆藏 -
西文图书3.Introduction to mathematical logic and resolution principle / 2nd ed. O141/WGJ/(2)
馆藏复本:2
可借复本:2 Guo-jun Wang, Hong-jun Zhou.
Science Press, c2009.
(0) 馆藏 -
西文图书4.Introduction to mathematical logic : set theory, computable functions, model theory / O141/MJ
馆藏复本:1
可借复本:1 Jerome Malitz.
Springer-Verlag, c1979.
(0) 馆藏 -
西文图书5.Introduction to mathematical logic / O141/CA
馆藏复本:1
可借复本:1 by Alonzo Church.
Princeton University Press, 1956-
(0) 馆藏