Introduction to mathematical logic - Mendelson, Elliott (Boca Raton, FL. : CRC Press, 2010)
'A Chapman and Hall book'
Includes bibliographical references and index
Keywords: Logic, Symbolic and mathematical