Introduction to mathematical logic - Mendelson, Elliott, 1931- (CRC Press/Taylor & Francis Group, 2015)