Introduction to mathematical logic - Mendelson, Elliott (CRC, 1997)