@incollection{SB_1977-1978__20__263_0,
     author = {Mc Aloon, Kenneth},
     title = {Formes combinatoires du th\'eor\`eme d'incompl\'etude},
     booktitle = {S\'eminaire Bourbaki : vol. 1977/78, expos\'es 507-524},
     series = {S\'eminaire Bourbaki},
     note = {talk:521},
     pages = {263--276},
     publisher = {Springer-Verlag},
     number = {20},
     year = {1979},
     mrnumber = {554226},
     zbl = {0416.03054},
     language = {fr},
     url = {http://www.numdam.org/item/SB_1977-1978__20__263_0/}
}