Zadači po teorii milozestv matematičeskoi logike i teorii algoritmov - Lavrov, I. A. (Nauka, 1984)