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