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.