Title: Teorii︠a︡ algorifmov i matematicheskai︠a︡ logika
Subjects: Algorithms, Symbolic and mathematical Logic