1 - Cours de logique mathématique. Tome 1 : Relation et formule logique - 2ème édition revue et modifiée |
2 - Cours de logique mathématique. Tome 1 : Relation, formule logique compacité, complétude |
3 - Cours de logique mathématique. Tome 2 : Théorie des modèles - 2ème édition revue et modifiée |
4 - Cours de logique mathématique. Tome 3 : Récursivité et constructibilité |
5 - Infinitistic methods : proceedings of the symposium on foundations of mathematics Warsaw, 2-9 september 1959 |
6 - L'algèbre logique et ses rapports avec la théorie des relations |