TY  - CHAP
AU  - Kirby, L. A. S.
TI  - La méthode des indicatrices et le théorème d'incomplètude
BT  - Modèles de l'arithmétique : Séminaire Paris VII
AU  - Collectif
ED  - McAloon Kenneth
T3  - Astérisque
PY  - 1980
SP  - 5
EP  - 18
IS  - 73
PB  - Société mathématique de France
UR  - http://archive.numdam.org/item/AST_1980__73__5_0/
LA  - fr
ID  - AST_1980__73__5_0
ER  -