Voir la notice de l'article provenant de la source Numdam
@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},
publisher = {Universit\'e Claude Bernard - Lyon 1},
volume = {11},
number = {4},
year = {1974},
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/