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.