. . . "Uzbek logician" .