Title: Sintaksis i semantika logicheskikh sistem
Subjects: Mathematics, Research, Symbolic and mathematical Logic, Data processing
Places: Russia (Federation)
People: I︠U︡. E. Shishmarev