MODERN DEDUCTIVE LOGIC - Ackermann, Robert John (Macmillan, 1970)