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.