Словарь по логике

Жегалкин

Иван Иванович Жегалкин (1869 - 1947): Русский логик и математик, проф. МГУ. Развивал алгебру логики, его именем названа одна из таких алгебр.
Работы: Трансфинитные числа (1907), О технике вычислений в символической логике (1927), Арифметизация символической логики (1929), Проблема разрешимости на конечных классах (1946).