Elementy matematičeskoj logiki i jeje priloženija k teorii subrekursivnych algoritmov - Kosovskij, N. K. (Izdatel'stvo Leningradskogo universiteta, 1981)