21 вычислимость и представимость арифметических функций

Определение классов арифметических функций: - частично рекурсивных; - тотальных (общерекурсивных); - примитивно рекурсивных; - элементарных. Представимость отношений и функций в арифметиках.