Matematičeskie trudy, Tome 8 (1988), pp. 25-42
Citer cet article
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/
@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},
year = {1988},
volume = {8},
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
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
%U http://geodesic.mathdoc.fr/item/MT_1988_8_a1/
%G ru
%F MT_1988_8_a1
