Introduction to mathematical logic - Mendelson, Elliott (D. Van Nostrand Company, 1964)