"Turkish logician" . . . .