Introduction to mathematical logic - Mendelson, Elliott (The University Series in Undergraduate Mathematics, 1964)