Notes on Logic and Set Theory by Peter T. Johnstone