Issledovanija po matematičeskoj logike i teorii algoritmov (Izdatel'stvo Tbilisskogo universiteta, 1975)