Introduction to mathematical logic - Mendelson, Elliot (USA Chapman and hall/crc, 2001)
Includes appendix, bibliography, notation and index.
Keywords: MATHEMATICS-LOGIC