"Lavrov, Maksimov. Zadachi po teorii mnozhestv, matematicheskoj logike i teorii algoritmov (1995)(ru)(T)(246s).djvu" - читать интересную книгу автора