-
西文图书1.Set theory : with an introduction to descriptive set theory / O144/K95
馆藏复本:1
可借复本:0 K. Kuratowski and A. Mostowski.
North-Holland Pub. Co., 1976.
(0) 馆藏 -
西文图书2.Algebra of proofs / O14/S996
馆藏复本:1
可借复本:0 M. E. Szabo.
North-Holland Pub. Co. : 1978.
(0) 馆藏 -
西文图书3.Proof theory / 2nd ed. O141.2/T136
馆藏复本:1
可借复本:0 Gaisi Takeuti.
North-Holland ; 1987.
(0) 馆藏 -
西文图书4.Set theory : an introduction to independence proofs / O144/K96
馆藏复本:1
可借复本:0 Kenneth Kunen.
North-Holland Pub. Co. ; 1980.
(0) 馆藏 -
西文图书5.Handbook of mathematical logic / O141-62/B296
馆藏复本:1
可借复本:0 edited by Jon Barwise, with the cooperation of H. J. Keisler ... [et al].
North-Holland Pub. Co., 1977.
(0) 馆藏 -
西文图书6.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) 馆藏