As Suggested by De Morgan. Part 1 Theoretical - S. Dyer (Taylor and Francis, 1984)