-
西文图书1.Beginning model theory : the completeness theorem and some consequences / O141.4/BJ
馆藏复本:3
可借复本:2 by Jane Bridge.
Clarendon Press, 1977.
(0) 馆藏 -
西文图书2.Choice sequences : a chapter of intuitionistic mathematics / O143/TAS
馆藏复本:3
可借复本:2 by A. S. Troelstra.
Clarendon Press, 1977.
(0) 馆藏 -
西文图书3.Boolean-valued models and independence proofs in set theory / O14/BJL
馆藏复本:1
可借复本:1 by J.L. Bell.
Clarendon Press, 1977.
(0) 馆藏