Introduction to mathematical logic - Mendelson Elliott (1964)
Keywords: Mathematical logic; Mathematics