Essentials of Logic and Set Theory