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

Шестаков

Виталий Иванович Шестаков (1907 - 1987): Советский математик и логик. В 1934-1935 построил логическую теорию контактно-релейных схем. Но идея и результаты были опубликованы позже соответствующих работ Шеннона. Сочинения: Алгебра релейных схем (1935), Об одном исчислении, применимом к теории релейных электрических схем (1944), Моделирование операций исчисления высказываний посредством релейно-контактных схем (1959), статьи в Философской энциклопедии.