ATR
لغات اخرى
算术超限递归
算術超限遞迴
Arithmetical Transfinite Recursion
Récursion arithmétique hors limite
Recursión aritmética
Recurso Aritmético da Transfinite
арифметическая избыточная рекурсия
الحساب العودية
Arithmetische Transfinite Rekursion
算術的な有限変換
산술 한도 초과 귀환
เลขคณิตเกินซ้ำ