TY  - CHAP
AU  - Mc Aloon, Kenneth
TI  - Formes combinatoires du théorème d'incomplétude
BT  - Séminaire Bourbaki : vol. 1977/78, exposés 507-524
AU  - Collectif
T3  - Séminaire Bourbaki
N1  - talk:521
PY  - 1979
SP  - 263
EP  - 276
IS  - 20
PB  - Springer-Verlag
UR  - http://www.numdam.org/item/SB_1977-1978__20__263_0/
LA  - fr
ID  - SB_1977-1978__20__263_0
ER  -