A first course in modern logic - Schipper, Edith Watson (Holt, 1959)