-
西文图书1.Beginning model theory : the completeness theorem and some consequences / O141.4/BJ
馆藏复本:3
可借复本:2 by Jane Bridge.
Clarendon Press, 1977.
(0) 馆藏 -
西文图书2.Model-theoretic logics / O141.4/MTL
馆藏复本:1
可借复本:1 edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ... [et al.].
Springer-Verlag, c1985.
(0) 馆藏 -
西文图书3.Systems modelling : a third Level course. Units 9/10, Decision Analysis / O141.4/SMT-2
馆藏复本:1
可借复本:1 prepared for the course team by Lyn Jones.
The Open Univ., 1975.
(0) 馆藏 -
西文图书4.Boolean-valued models and independence proofs in set theory / O14/BJL
馆藏复本:1
可借复本:1 by J.L. Bell.
Clarendon Press, 1977.
(0) 馆藏 -
西文图书5.Mathematical logic : an introduction to model theory / O141/LAH
馆藏复本:1
可借复本:1 A. H. Lightstone ;edited by H. B. Enderton.
Plenum Press, c1978.
(0) 馆藏 -
西文图书6.Studies in model theory / O141.4/SMT
馆藏复本:1
可借复本:1 [by] Jon Barwise ... [et. al.]; M. D. Morley, editor.
Mathematical Association of America, c1973.
(0) 馆藏