Elementy matematičeskoj logiki i jeje priloženija k teorii subrekursivnych algoritmov - Kosovskij, N. K. (Leningrad : Izdatel'stvo Leningradskogo universiteta, 1981)
Keywords: algoritmy; matematická logika