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