Introduction to mathematical logic - Mendelson, E (Boca raton CRC Press, 2015)
Keywords: MATHEMATICS; LOGIC