Полный англо-русский словарь
recursive reals
Мат. рекурсивно вещественные числа
Полный англо-русский словарь
recursive realizability
recursive reducedness