PhD's in Logic related domains (1)