Introduction to mathematical logic - Mendelson, Elliott (Textbooks in mathematics, 2015)