Publié le : 1950-01-01
EUDML-ID :
urn:eudml:doc:213213
@article{bwmeta1.element.bwnjournal-article-fmv37i1p15,
author = {H. Rasiowa and Roman Sikorski},
title = {A proof of the completeness theorem of Gr\"odel},
journal = {Fundamenta Mathematicae},
volume = {37},
year = {1950},
pages = {193-200},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv37i1p15}
}
Rasiowa, H.; Sikorski, Roman. A proof of the completeness theorem of Grödel. Fundamenta Mathematicae, Tome 37 (1950) pp. 193-200. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv37i1p15/