1 - Constructible sets with applications |
2 - Introduction to higher algebra |
3 - Logic colloquium '76 : proceedings of conference held in Oxford, July 19-30, 1976 |
4 - Modèles transitifs de la théorie des ensembles de Zermelo-Fraenkel |
5 - Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel |
6 - Set theory |
7 - Topologie. Volume I - Quatrième édition |
8 - Undecidable theories |
9 - Undecidable theories - Third printing |