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

Мат. partial recursiveness