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