L'espace des modèles d'une théorie formalisée et quelques-unes de ses applications
Annales scientifiques de l'Université de Clermont. Mathématiques, Actes du colloque de mathématiques réuni à Clermont à l'occasion du tricentenaire de la mort de Blaise Pascal. Tome 1, Tome 7 (1962) no. 1, pp. 107-116
Voir la notice de l'article provenant de la source Numdam
@article{ASCFM_1962__7_1_107_0,
author = {Mostowski, A.},
title = {L'espace des mod\`eles d'une th\'eorie formalis\'ee et quelques-unes de ses applications},
journal = {Annales scientifiques de l'Universit\'e de Clermont. Math\'ematiques},
pages = {107--116},
publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
volume = {7},
number = {1},
year = {1962},
mrnumber = {316237},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/ASCFM_1962__7_1_107_0/}
}
TY - JOUR AU - Mostowski, A. TI - L'espace des modèles d'une théorie formalisée et quelques-unes de ses applications JO - Annales scientifiques de l'Université de Clermont. Mathématiques PY - 1962 SP - 107 EP - 116 VL - 7 IS - 1 PB - UER de Sciences exactes et naturelles de l'Université de Clermont UR - http://geodesic.mathdoc.fr/item/ASCFM_1962__7_1_107_0/ LA - fr ID - ASCFM_1962__7_1_107_0 ER -
%0 Journal Article %A Mostowski, A. %T L'espace des modèles d'une théorie formalisée et quelques-unes de ses applications %J Annales scientifiques de l'Université de Clermont. Mathématiques %D 1962 %P 107-116 %V 7 %N 1 %I UER de Sciences exactes et naturelles de l'Université de Clermont %U http://geodesic.mathdoc.fr/item/ASCFM_1962__7_1_107_0/ %G fr %F ASCFM_1962__7_1_107_0
Mostowski, A. L'espace des modèles d'une théorie formalisée et quelques-unes de ses applications. Annales scientifiques de l'Université de Clermont. Mathématiques, Actes du colloque de mathématiques réuni à Clermont à l'occasion du tricentenaire de la mort de Blaise Pascal. Tome 1, Tome 7 (1962) no. 1, pp. 107-116. http://geodesic.mathdoc.fr/item/ASCFM_1962__7_1_107_0/