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