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