Гиндикин С. Г. Алгебра логики в задачах / С. Г. Гиндикин. - Москва : Наука, Главная редакция физико-математической литературы, 1972. - 288 с.: ил.