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

Шрёдер

Эрнст Шредер, E. Schröder (1841 - 1902): Немецкий математик и логик, систематизировал и развил результаты Буля и его школы. В "Der Operationkreis der Logikkalküls" (1877) систематически изложил математическую логику, взяв за основу отношение включения класса в класс, ввел термин "логическое исчисление", понятие нормальной формы. Другие работы: Vorlesungen über die Algebra der Logik (1890-1905); Abris der Algebra der Logik (1910); Über das Zeichen (1890).