Zadachi po teorii mnozhestv, matematicheskoĭ logike i teorii algoritmov - Lavrov, I. A. (Igorʹ Andreevich) ("Nauka", Glav. red. fiziko-matematicheskoĭ lit-ry, 1984)