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