Title: Matematicheskai︠a︡ logika i algoritmicheskie problemy
Subjects: Symbolic and mathematical Logic, Algorithms