1 - Constructible sets with applications |
2 - Cours de logique mathématique. Tome 3 : Récursivité et constructibilité |
3 - Introduction à la logique - 2ème édition revue et augmentée |
4 - The axiom of constructibility : a guide for the mathematician |
1 - Constructible sets with applications |
2 - Cours de logique mathématique. Tome 3 : Récursivité et constructibilité |
3 - Introduction à la logique - 2ème édition revue et augmentée |
4 - The axiom of constructibility : a guide for the mathematician |