Formal Logic; or, the Calculus of Inference, Necessary and Probable — work by de Morgan