Introduction to mathematical logic - Mendelson, Elliott (The University series in undergraduate mathematics, 1964)