Zadači po teorii množestv, matematičeskoj logike i teorii algoritmov - Lavrov, Igor A.; Maksimova, Larisa Ľ. (Nauka, 1984)