Гриф УМО по классическому университетскому образованию Электротехника с основами электроники. Учебное пособие.

Метод упрощения форм выражения функций истинности. - «Философские науки», 1958, № 2; Кузнецов А. В. Алгоритмы как операции в алгебраических системах. - «Успехи математических наук», 1958, т. 13, в. 3; Новиков П. С. Элементы математической логики. М., 1973; Биркгоф Г. Теория решеток. М., 1952; Владимиров Д. А. Булевы алгебры. 1969; Гиндикин С. Г. Алгебра логики в задачах. М., 1972; Кудрявцев В. Б. О функциональных системах. М., 1981; Яблонский С. В., Гаврилов Г. #., Кудрявцев В. Б. Функции алгебры логики и классы Поста. М., 1966; Фридлендер Б. #., Ревякин А. М. Булева алгебра и ее применение в задачах электроники: учебное пособие. М., 1993; Algebraic logic and the methodology of applying it.—CSU Publications, 1995; Anderka H., Nemeti L, Sain L Algebraic Logic— Handbook of philosophical logic (2 ed.), forthcoming; Blok W. /., Pigozzi D. Algebraizable logics (monograph).—Memoirs of the American Mathematical Society, 1989, № 396; Font J. M., Jansana R. A general algebraic semantics for sentential logics. В., 1996; Handbook of Boolean algebras, Ed. J. D. Monk with the coop. R. Bennet, v. I—Ш. Amst., 1989; Nemeti I, Anderka H ...»