检索到 3 条 索书号=O 丛书名=Undergraduate texts in mathematics 主题=logic symbolic and mathematical 馆藏地=12楼南外文图书阅览室 的结果
-
西文图书1.Mathematical logic / O141/E15
馆藏复本:1
可借复本:0 H.-D. Ebbinghaus, J. Flum, W. Thomas.
Springer-Verlag, c1984.
(0) 馆藏 -
西文图书2.Introduction to mathematical logic : set theory, computable functions, model theory / O141/M251
馆藏复本:1
可借复本:0 Jerome Malitz.
Springer-Verlag, c1979.
(0) 馆藏 -
西文图书3.Mathematical logic = 数理逻辑 / 2nd ed. O141/E15-2
馆藏复本:2
可借复本:1 H.-D. Ebbinghaus, J. Flum, W. Thomas.
世界图书出版公司, 2008.
(0) 馆藏