Liste des citations dans Numdam pour : Théorèmes de non-décidabilité
Séminaire Bourbaki : années 1962/63 - 1963/64, exposés 241-276, Séminaire Bourbaki, no. 8 (1964), Exposé no. 266, 41 p.
Séminaire Bourbaki : volume 1995/96, exposés 805-819,
Astérisque, no. 241 (1997), Exposé no. 808, 41 p.
Séminaire Bourbaki : vol. 1974/75, exposés 453-470,
Séminaire Bourbaki, no. 17 (1976), Exposé no. 457, 20 p.
