An introduction to mathematical logic
Robison, Gerson B.
Englewood Cliffs (N.J.) Hemel Hempstead Prentice-Hall
1969
With answers to odd-numbered exercises
Logic, Symbolic and mathematical.