Introduction to mathematical logic - Mendelson, Elliott (Discrete mathematics and its applications, 2010)