Mendelson, Elliott. Introduction to mathematical logic / Elliott Mendelson. - 5th ed. - Boca Raton : CRC Press, c2010. - xxiv, 469 p. : ill. ; 25 cm. - Discrete mathematics and its applications . - Discrete mathematics and its applications. . "A Chapman and Hall book." Includes bibliographical references and index. ISBN: 9781584888765 1584888768 LCCN: 2009002833 Subjects--Topical Terms: Logic, Symbolic and mathematical. LC Class. No.: QA9 / .M4 2010 Dewey Class. No.: 511.3 / MEI