Formal Logic Or, the Calculus of Inference door Augustus de Morgan