Formal Logic, Or, The Calculus Of Infere by Augustus de Morgan