I really like "Introduction to Mathematical Logic" by Mendelson. It covers the topics with appropriate rigor and thoroughness. It covers up through (in)completeness and has two extra chapters on set theory and computability. Plenty of exercises (with partial solutions) too.
|
1 | [made Community Wiki] | ||
|
|
||||
