Большой энциклопедический словарь
Шрёдер (Schröder) Эрнст (1841—1902), немецкий математик и логик. Профессор в Карлсруэ (с 1876). Основополагающие исследования по алгебре логики (алгебре классов) и логике отношений; осуществил первую попытку построения общей теории алгоритмов и исчислений.