Hodel

This comprehensive overview of<br/> mathematical logic is designed<br/> primarily for advanced undergraduates<br/> and graduate students<br/> of mathematics. The treatment<br/> also contains much of interest to<br/> advanced students in computer<br/> science and philosophy. Topics include propositional logic;<br/> first-order languages and logic; incompleteness, undecidability,<br/> and indefinability; recursive functions; computability;<br/> and Hilbert's Tenth Problem.<br/> Reprint of the PWS Publishing Company, Boston, 1995<br/> edition.