Introduction to mathematical logic - Mendelson, Elliott. (CRC Press,)