. . "Hungarian logician" . .