. . "Soviet logician" . .