Учебник. Эрнст Шрёдер

Шрёдер (Schröder) Эрнст (25.11.1841, Мангейм, — 16.6.1902, Карлсруэ), немецкий математик и логик. С 1876 профессор Высшей технической школы в Карлсруэ. Шрёдер дал систематическое изложение математической логики (точнее, алгебры логики); им введён термин «исчисление высказываний». Автор принципа двойственности и ряда других математических законов логики. Занимался также теорией алгоритмов.