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