%0 Book Section
%A Mc Aloon, Kenneth
%T Formes combinatoires du théorème d'incomplétude
%B Séminaire Bourbaki : vol. 1977/78, exposés 507-524
%A Collectif
%S Séminaire Bourbaki
%Z talk:521
%D 1979
%P 263-276
%N 20
%I Springer-Verlag
%U http://www.numdam.org/item/SB_1977-1978__20__263_0/
%G fr
%F SB_1977-1978__20__263_0