Title: Matematicheskai︠a︡ logika, matematicheskai︠a︡ lingvistika i teorii︠a︡ algoritmov
Subjects: Symbolic and mathematical Logic