-
西文图书1.Constructibility / O144/DKJ
馆藏复本:1
可借复本:1 Keith J. Devlin.
Springer-Verlag, 1984.
(0) 馆藏 -
西文图书2.Basic set theory / O144/LA
馆藏复本:1
可借复本:1 Azriel Levy.
Springer-Verlag, 1979.
(0) 馆藏 -
西文图书3.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) 馆藏