Issledovanija po teorii algoritmov i matematičeskoj logike. (Nauka, 1979)