axiome de complétude
- 2003 Sciences Sup. Logique mathématique. V. 1.
Auteurs : Cori René ; Lascar Daniel
- 2001 La notion d’infini.
Auteurs : Gilbert Thérèse ; Rouche Nicolas
- 1993 Logique mathématique. T. 1.
Auteurs : Cori René ; Lascar Daniel ; Krivine Jean-Louis. Préf.