-
西文图书1.Degrees of unsolvability : local and global theory / O141.3/L616
馆藏复本:1
可借复本:0 Manuel Lerman.
Springer-Verlag, 1983.
(0) 馆藏 -
西文图书2.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) 馆藏