"B." . "Trakhtenbrot, B." . . "Trakhtenbrot" .