Publié le : 1955-01-01
EUDML-ID :
urn:eudml:doc:213366
@article{bwmeta1.element.bwnjournal-article-fmv42i1p125bwm,
author = {Andrzej Mostowski},
title = {A formula with no recursively enumerable model},
journal = {Fundamenta Mathematicae},
volume = {41},
year = {1955},
pages = {125-140},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv42i1p125bwm}
}
Mostowski, Andrzej. A formula with no recursively enumerable model. Fundamenta Mathematicae, Tome 41 (1955) pp. 125-140. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv42i1p125bwm/