Geodesic
Model theory based on the constructive understanding of truth
Matematičeskie trudy, Tome 8 (1988), pp. 25-42.

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{MT_1988_8_a1,
     author = {A. A. Voronkov},
     title = {Model theory based on the constructive understanding of truth},
     journal = {Matemati\v{c}eskie trudy},
     pages = {25--42},
     publisher = {mathdoc},
     volume = {8},
     year = {1988},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MT_1988_8_a1/}
}
TY  - JOUR
AU  - A. A. Voronkov
TI  - Model theory based on the constructive understanding of truth
JO  - Matematičeskie trudy
PY  - 1988
SP  - 25
EP  - 42
VL  - 8
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MT_1988_8_a1/
LA  - ru
ID  - MT_1988_8_a1
ER  - 
%0 Journal Article
%A A. A. Voronkov
%T Model theory based on the constructive understanding of truth
%J Matematičeskie trudy
%D 1988
%P 25-42
%V 8
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MT_1988_8_a1/
%G ru
%F MT_1988_8_a1
A. A. Voronkov. Model theory based on the constructive understanding of truth. Matematičeskie trudy, Tome 8 (1988), pp. 25-42. http://geodesic.mathdoc.fr/item/MT_1988_8_a1/