Notes on Logic and Set Theory