Formal Logic by Augustus de Morgan