Lectures in Logic and Set Theory