Introduction to Mathematical Logic

This comprehensive overview of

mathematical logic is designed

primarily for advanced undergraduates

and graduate students

of mathematics. The treatment

also contains much of interest to

advanced students in computer

science 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, 1995

edition.