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