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