TY - BOOK AU - Mendelson,Elliott TI - Introduction to mathematical logic T2 - Discrete mathematics and its applications SN - 9781584888765 (hbk.) : PY - 2010/// CY - Boca Raton, FL. PB - CRC Press KW - Logic, Symbolic and mathematical N1 - 'A Chapman and Hall book'; Includes bibliographical references and index ER -