可计算性理论, 数学, 计算机科学, 逻辑, 集合论

可计算序数 (Computable Ordinal)

, , , ,