Zadači po teorii množestv matematičeskoj logike i teorii algoritmov - Lavrov, Igor Andreevič (Nauka - Moskva, 1975)