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