[Ouvrage]
Hod mice and the mouse set conjecture
/ Principal Sargsyan, Grigor.
-Providence : American Mathematical Society, 2014. - vii; 172 p.
ISBN 978-1-4704-1692-8
[Ouvrage]
Handbook of set theory . - Volume 3
/ Editeur Foreman, Matthew ; Editeur Kanamori, Akihiro.
-Dordrecht : Springer, 2010. - xiv; 1449-2197 p.
ISBN 978-1-4020-4843-2
[Ouvrage]
Handbook of set theory . - Volume 2
/ Editeur Foreman, Matthew ; Editeur Kanamori, Akihiro.
-Dordrecht : Springer, 2010. - xiv; 737-1447 p.
ISBN 978-1-4020-4843-2
[Ouvrage]
Handbook of set theory . - Volume 1
/ Editeur Foreman, Matthew ; Editeur Kanamori, Akihiro.
-Dordrecht : Springer, 2010. - xiv; 736 p.
ISBN 978-1-4020-4843-2
[Ouvrage]
Ernst Zermelo : Collected Works, Volume I : Set Theory, Miscellanea
/ Principal Zermelo, Ernst ; Editeur Ebbinghaus, Heinz-Deiter ; Editeur Fraser, Craig G. ; Editeur Kanamori, Akihiro.
-Berlin , Heidelberg : Springer, 2010. - xxiv, 654 p.
ISBN 978-3-540-79383-0
[Ouvrage]
Set theory
/ Principal Jech, Thomas.
-Berlin, Heidelberg, New York : Springer, 2003. - xiii; 769 p.
ISBN 978-3-540-44085-7
[Ouvrage]
Descriptive set theory
/ Principal Moschovakis, Yiannis N..
-Providence : American Mathematical Society, 2009. - xiv; 502 p.
ISBN 978-0-8218-4813-5
[Ouvrage]
Fine structure and class forcing
/ Principal Friedman, Sy D..
-Berlin, N.Y. : Walter De Gruyter, 2000. - 221 p.
ISBN 978-3-11-016777-1
[Ouvrage]
Principia mathematica. Vol.III
/ Principal Whitehead, Alfred North ; Co-auteur Russell, Bertrand.
-Cambridge, London, N. Y. : Cambridge University Press, 1927. - 491 p.
ISBN 978-0-521-06791-1
[Ouvrage]
Fine structure and iteration trees
/ Principal Mitchell, William J. ; Co-auteur Steel, John R..
-Berlin, Heidelberg, N.Y. : Springer-Verlag, 1994. - 130 p.
ISBN 978-3-540-57494-1
[Ouvrage]
Constructible sets with applications
/ Principal Mostowski, A..
-Amsterdam, Warszawa : North-Holland Publishing Co.;PWN-Polish Scientific Publishers, 1969. - 269 p.
[Ouvrage]
Introduction to set theory and topology
/ Principal Kuratowski, Kazimierz ; Traducteur Boron, Leo F..
-London, Oxford, Warszawa : Panstwowe Wydawnictwo Naukowe;Pergamon Press, 1961. - 283 p.
[Ouvrage]
Classical recursion theory
/ Principal Odifreddi, P..
-Amsterdam, N.Y., Oxford : North-Holland, 1989. - 668 p.
ISBN 978-0-444-87295-1
[Ouvrage]
Varieties of constructive mathematics
/ Principal Bridges, Douglas ; Co-auteur Richman, Fred.
-Cambridge, London, Melbourne : Cambridge University Press, 1987. - 149 p.
ISBN 978-0-521-31802-0