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