Introduction to mathematical logic - Mendelson, E; Rosen, KH (Boca raton CRC, 2010)
Keywords: LOGIC, SYMBOLIC MATHEMATICA; AXIOMATIC SET-THEORY