Introduction to mathematical logic - Mendelson, Elliott (Van Nostrand, 1979)