. "Icelandic logician" . . .