Zadači po teorii množestv, matematičeskoj logike i teorii algoritmov - Lavrov, Igor' Andrejevič (Nauka, 1984)