Geodesic
L'axiomatisation de la syntaxe et le second theorem de Gödel
Publications du Département de mathématiques (Lyon), Tome 11 (1974) no. 4, pp. 27-87

Voir la notice de l'article provenant de la source Numdam

MR Zbl 
Pabion, J. F. L'axiomatisation de la syntaxe et le second theorem de Gödel. Publications du Département de mathématiques (Lyon), Tome 11 (1974) no. 4, pp. 27-87. http://geodesic.mathdoc.fr/item/PDML_1974__11_4_27_0/
@article{PDML_1974__11_4_27_0,
     author = {Pabion, J. F.},
     title = {L'axiomatisation de la syntaxe et le second theorem de {G\"odel}},
     journal = {Publications du D\'epartement de math\'ematiques (Lyon)},
     pages = {27--87},
     year = {1974},
     publisher = {Universit\'e Claude Bernard - Lyon 1},
     volume = {11},
     number = {4},
     mrnumber = {381973},
     zbl = {0331.02017},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/PDML_1974__11_4_27_0/}
}
TY  - JOUR
AU  - Pabion, J. F.
TI  - L'axiomatisation de la syntaxe et le second theorem de Gödel
JO  - Publications du Département de mathématiques (Lyon)
PY  - 1974
SP  - 27
EP  - 87
VL  - 11
IS  - 4
PB  - Université Claude Bernard - Lyon 1
UR  - http://geodesic.mathdoc.fr/item/PDML_1974__11_4_27_0/
LA  - fr
ID  - PDML_1974__11_4_27_0
ER  - 
%0 Journal Article
%A Pabion, J. F.
%T L'axiomatisation de la syntaxe et le second theorem de Gödel
%J Publications du Département de mathématiques (Lyon)
%D 1974
%P 27-87
%V 11
%N 4
%I Université Claude Bernard - Lyon 1
%U http://geodesic.mathdoc.fr/item/PDML_1974__11_4_27_0/
%G fr
%F PDML_1974__11_4_27_0