2ITS60 (2022-3) Logic and set theory for P&T