Title: Ėlementy matematicheskoĭ logiki i ee prilozhenii͡a︡ k teorii subrekursivnykh algoritmov
Subjects: Symbolic and mathematical Logic