Introduction to mathematical logic - Mendelson, Elliott, 1931- (Chapman & Hall, 1997)