"New Zealand logician" . . . .