Алгебра логики (Кузнецов, 2007)
АЛГЕБРА ЛОГИКИ - один из основных разделов математической логики, основанный на алгебраическом способе представления и решения логических проблем. Современная символическая логика, начало которой было положено исследованиями Г. Лейбница и особенно Дж. Буля, развивалась ими и их непосредственными последователями (У. Джевонс, А. Венн, Э. Шредер, П.С. Порецкий) в форме алгебраических построений. Именно в исследованиях этих ученых впервые был использован термин «А.л.» Однако после работ Г. Фреге логические теории начали строиться в форме исчислений, а А.л.