Modern Formal Logic door mckay Thomas J. Mckay