Schröder
, Ernst Algebra der Logik I, II, III. 1890, 1891, 1895, Bristol 2001.