PhDs in Logic related domains (1)