Zadači po teorii množestv, matematičeskoj logike i teorii algoritmov - Lavrov, Igor´ Andrejevič; Maksimova, Larisa L´vovna (Moskva : Nauka, 1984)