Logic PhDs