-
西文图书1.Essential stability theory / O141.4/B928
馆藏复本:1
可借复本:0 Steven Buechler.
(0) 馆藏 -
西文图书2.Model theory : an introduction = 模型论引论 / O141.4/M345
馆藏复本:3
可借复本:2 David Marker.
科学出版社, 2007.
(0) 馆藏 -
西文图书3.Boolean-valued models and independence proofs in set theory / O144/B433
馆藏复本:1
可借复本:0 by J. L. Bell.
Clarendon Press, 1977.
(0) 馆藏 -
西文图书4.Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982 / O14-53/L832
馆藏复本:1
可借复本:0 edited by G. Lolli, G. Longo, and A. Marcja.
North-Holland ; 1984.
(0) 馆藏 -
西文图书5.Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic t... O141.4-53/C748
馆藏复本:1
可借复本:0 edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie.
Springer-Verlag, 1980.
(0) 馆藏 -
西文图书6.Model-theoretic logics / O141.4/B296
馆藏复本:1
可借复本:0 edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ... [et al.].
Springer-Verlag, c1985.
(0) 馆藏 -
西文图书7.Studies in model theory / O141.4/M864
馆藏复本:1
可借复本:0 [by] Jon Barwise [and others] M. D. Morley, editor.
Mathematical Association of America, [c1973]
(0) 馆藏