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