1.

図書
図書
1. Set theory and the continuum problem. Dover ed
Raymond M. Smullyan, Melvin Fitting
出版情報: Mineola, N.Y. : Dover Publications, 2010
シリーズ名: Dover books on mathematics ;
所蔵情報: loading…
2.

図書
図書
2. Toposes and local set theories : an introduction. Dover ed (: pbk)
J.L. Bell
出版情報: Mineola, N.Y. : Dover Publications, 2008, c1988
所蔵情報: loading…
3.

図書
図書
3. Sets, logic, and categories (: pbk)
Peter J. Cameron
出版情報: London ; Berlin ; Heidelberg : Springer, 1999
シリーズ名: Springer undergraduate mathematics series
所蔵情報: loading…
4.

図書
図書
4. Mathematical problems and proofs : combinatorics, number theory, and geometry
Branislav Kisačanin
出版情報: New York : Plenum Press, c1998
所蔵情報: loading…
5.

図書
図書
5. Classical descriptive set theory (: us ; : gw)
Alexander S. Kechris
出版情報: New York ; Tokyo : Springer-Verlag, c1995
シリーズ名: Graduate texts in mathematics ; 156
所蔵情報: loading…
6.

図書
図書
6. Limit theorems for unions of random closed sets (: us ; : gw)
Ilya S. Molchanov
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1993
シリーズ名: Lecture notes in mathematics ; 1561
所蔵情報: loading…
7.

図書
図書
7. Topics in set theory : Lebesgue measurability, large cardinals, forcing axioms, rho-functions (: gw ; : us)
M. Bekkali
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in mathematics ; 1476
所蔵情報: loading…
8.

図書
図書
8. Programming in Martin-Löf's type theory : an introduction
Bengt Nordström, Kent Petersson and Jan M. Smith
出版情報: Oxford, England : Clarendon Press , New York : Oxford University Press, 1990
シリーズ名: The International series of monographs on computer science ; 7
所蔵情報: loading…
9.

図書
図書
9. Combinatorics of finite sets (:pbk)
Ian Anderson
出版情報: Oxford [Oxfordshire] ; New York : Clarendon Press, 1989, c1987
シリーズ名: Oxford science publications
所蔵情報: loading…
10.

図書
図書
10. Notes on logic and set theory (: hard. ; : pbk.)
P.T. Johnstone
出版情報: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1987
所蔵情報: loading…