Formal Logic (1847) by Augustus de Morgan & Alfred Edward Taylor