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