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 Cet article a éte moissonné depuis la source Numdam

Voir la notice de l'article

@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
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/