TY  - CHAP
AU  - McAloon, Kenneth
TI  - Progressions transfinies de théories axiomatiques, formes combinatoires du théorème d'incomplétude et fonctions récursives à croissance rapide
BT  - Modèles de l'arithmétique : Séminaire Paris VII
AU  - Collectif
ED  - McAloon Kenneth
T3  - Astérisque
PY  - 1980
SP  - 41
EP  - 58
IS  - 73
PB  - Société mathématique de France
UR  - http://www.numdam.org/item/AST_1980__73__41_0/
LA  - fr
ID  - AST_1980__73__41_0
ER  -