Title: Ėlementy matematicheskoĭ logiki i ee prilozhenii︠a︡ k teorii subrekursivnykh algoritmov