RUS
ENG
Full version
JOURNALS
// Matematicheskie Trudy
// Archive
Trudy Inst. Mat. Sib. Otd. AN SSSR,
1988
Volume 8,
Pages
25–42
(Mi mt559)
Model theory based on the constructive understanding of truth
A. A. Voronkov
Fulltext:
PDF file (1340 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024
Fulltext:
PDF file (1340 kB)