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