Introduction to mathematical logic : - Malitz, Jerome (Undergraduate texts in mathematics, 1979)