@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/}
}