本範疇涉及遞歸論，也叫做可計算性理論，它是與可計算函數概念的推廣有關的數理邏輯分支，並與圖靈度這樣的概念有關。
此分類包含以下 5 個子分類，共 5 個。
此分類共有 34 個頁面，以下顯示其中 34 個。
