Индуктивные представления булевых функций и конечная порождаемость классов Поста. Г.П. Гаврилов — 1984 Algebra i Logika