Title: Issledovanii︠a︡ po matematicheskoĭ logike i teorii algoritmov
Subjects: Symbolic and mathematical Logic, Algorithms