Introduction to mathematical logic - Mendelson, Elliott (Boca Raton, FL CRC Press/Taylor & Francis Group, 2015)
" A Chapman & Hall book."
Includes bibliographical references and index.
Keywords: Logic, Symbolic and mathematical