%0 Book Section
%A McAloon, Kenneth
%T Progressions transfinies de théories axiomatiques, formes combinatoires du théorème d'incomplétude et fonctions récursives à croissance rapide
%B Modèles de l'arithmétique : Séminaire Paris VII
%A Collectif
%E McAloon Kenneth
%S Astérisque
%D 1980
%P 41-58
%N 73
%I Société mathématique de France
%U http://www.numdam.org/item/AST_1980__73__41_0/
%G fr
%F AST_1980__73__41_0