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  -