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