Lectures in Logic and Set Theory (Cambridge Studies in Advanced Mathematics)