Introduction to mathematical logic.
Mendelson, Elliott.
Princeton, N.J.; London, 
[1964]
[With a bibliography.]