An introduction to modern logic an elementary textbook of symbolic logic - Halberstadt, William H. (Harper, 1960)