List of citations in Numdam for : 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), Talk no. 521, p. 263-276

Dehornoy, Patrick

Séminaire Bourbaki : volume 1988/89, exposés 700-714, Astérisque no. 177-178  (1989), Talk no. 710, p. 261-276