Une démonstration du théorème de complétude de Godel
Publications du Département de mathématiques (Lyon), Volume 3 (1966) no. 1, pp. 2-8.
@article{PDML_1966__3_1_2_0,
     author = {Ponasse, Daniel},
     title = {Une d\'emonstration du th\'eor\`eme de compl\'etude de {Godel}},
     journal = {Publications du D\'epartement de math\'ematiques (Lyon)},
     pages = {2--8},
     publisher = {Universit\'e Claude Bernard - Lyon 1},
     volume = {3},
     number = {1},
     year = {1966},
     mrnumber = {197299},
     zbl = {0207.29601},
     language = {fr},
     url = {http://archive.numdam.org/item/PDML_1966__3_1_2_0/}
}
TY  - JOUR
AU  - Ponasse, Daniel
TI  - Une démonstration du théorème de complétude de Godel
JO  - Publications du Département de mathématiques (Lyon)
PY  - 1966
SP  - 2
EP  - 8
VL  - 3
IS  - 1
PB  - Université Claude Bernard - Lyon 1
UR  - http://archive.numdam.org/item/PDML_1966__3_1_2_0/
LA  - fr
ID  - PDML_1966__3_1_2_0
ER  - 
%0 Journal Article
%A Ponasse, Daniel
%T Une démonstration du théorème de complétude de Godel
%J Publications du Département de mathématiques (Lyon)
%D 1966
%P 2-8
%V 3
%N 1
%I Université Claude Bernard - Lyon 1
%U http://archive.numdam.org/item/PDML_1966__3_1_2_0/
%G fr
%F PDML_1966__3_1_2_0
Ponasse, Daniel. Une démonstration du théorème de complétude de Godel. Publications du Département de mathématiques (Lyon), Volume 3 (1966) no. 1, pp. 2-8. http://archive.numdam.org/item/PDML_1966__3_1_2_0/