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