combinatory definability

Комбинаторная определимость