Об определимости в некоторых разрешимых теорияхдиссертация