Logic from A to Z - Detlefsen, Michael; McCarty, David Charles; Bacon, John B. (Routledge, 1999)