partial recursiveness

Мат. частичная рекурсивность