Zadači po teorii množestv matematičeskoj logike i teorii algoritmov. - Lavrov, Igor Andreevič; Maksimova, Larisa L'vovna (Moskva : Nauka - Moskva, 1975)