This comprehensive overview ofmathematical logic is designedprimarily for advanced undergraduatesand graduate studentsof mathematics.The treatmentalso contains much of interest toadvanced students in computerscience and philosophy.Topics include propositional logic;first-order languages and logic; incompleteness, undecidability,and indefinability; recursive functions; computability;and Hilbert’s Tenth Problem. Reprint of the PWS Publishing Company, Boston, 1995edition.