Lectures in Logic and Set Theory: Volume 1, Mathematical Logic (Cambridge Studies in Advanced Mathematics)
"A thorough and complete resource for "one of the most remarkable theorems of logic." George Tourlakis' Mathematical Logic is a highly worthwhile addition the the literature."Robert Mignone, The Review of Modern Logic