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