Introduction to mathematical logic - Mendelson, Elliott (Boca Raton Crc Press, 2010)
Includes bibliographical references and index.
Keywords: Logic, Symbolic and mathematical