Mendelson, Elliott <br/><br/>
Introduction to mathematical logic 

 - 5th ed. 
 - Boca Raton :   CRC,  c2010 
 - xxiv, 469 p.  ;  24 cm. 
 - Discrete mathematics and its applications .
<br/><br/> Incluye índice y bibliografía. 
<br/><br/>Preface -- Introduction -- 1. The propositional calculus -- 2. First-order logic and model theory -- 3. Formal number theory -- 4. Axiomatic set theory -- 5. Computability -- Appendix A. Second-order logic -- Appendix B. First steps in modal propositional logic -- Answers to selected exercises -- Bibliography -- Notation -- Index 
<br/><br/><label>ISBN: </label>9781584888765 
<br/><br/><label>Standard No.: </label>DIF-M6319 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LÓGICA MATEMÁTICA<br/>TEORÍA DE LA COMPUTABILIDAD