Introduction to mathematical logic - Mendelson, Elliott (Van Nostrand Reinhold Co., 1964)