Полный англо-русский словарь
Определимость combinatorial definability combinatory definability определимость
definability