-
西文图书1.Mathematical logic / O141/E15
馆藏复本:1
可借复本:0 H.-D. Ebbinghaus, J. Flum, W. Thomas.
Springer-Verlag, c1984.
(0) 馆藏 -
西文图书2.Mathematical logic = 数理逻辑 / 2nd ed. O141/E15-2
馆藏复本:2
可借复本:1 H.-D. Ebbinghaus, J. Flum, W. Thomas.
世界图书出版公司, 2008.
(0) 馆藏 -
西文图书3.STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, F... TP3-53/T463
馆藏复本:1
可借复本:0 Wolfgang Thomas, Pascal Weil (eds.).
Springer, c2007.
(0) 馆藏