Notes on Logic and Set Theory door Peter T. Johnstone