Logic PhDs = New book series