Introduction to mathematical logic - Mendelson Elliott (London Van-Nostrand, 1964)
Keywords: Mathematical logic