中圖分類號查詢 > 數(shù)理科學(xué)和化學(xué) > 數(shù)學(xué) > 數(shù)理邏輯、數(shù)學(xué)基礎(chǔ) > 數(shù)理邏輯（符號邏輯） > 遞歸論（遞歸函數(shù)、能行性理論）