@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://www.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://www.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://www.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), Tome 3 (1966) no. 1, pp. 2-8. http://www.numdam.org/item/PDML_1966__3_1_2_0/