théorème 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.
- 1978 Nombre, mesure et continu.
Auteurs : Dhombres Jean ; Lichnérowicz André. Préf.