Liste des citations dans Numdam pour : Formes combinatoires du théorème d'incomplétude
Séminaire Bourbaki : vol. 1977/78, exposés 507-524, Séminaire Bourbaki, no. 20 (1979), Exposé no. 521, 14 p.
Séminaire Bourbaki : volume 1988/89, exposés 700-714,
Astérisque, no. 177-178 (1989), Exposé no. 710, 16 p.
Modèles de l'arithmétique : Séminaire Paris VII,
Astérisque, no. 73 (1980), pp. 19-30.
