Logic from A to Z - Detlefsen, Michael 1948- (Routledge, 1999)