Большой энциклопедический словарь:
ШРЕДЕР Эрнст (1841-1902) — немецкий математик и логик; основополагающие исследования по алгебре логики (алгебре классов) и логике отношений; осуществил первую попытку построения общей теории алгоритмов и исчислений.
© «СловоТолк.Ру» — толковые и энциклопедические словари, 2007-2020