Introduction to mathematical logic - Mendelson, Elliott (D. Van Nostrand Co., 1979)