更改

跳到导航 跳到搜索

递归定理 (查看源代码)

2026年9月10日 (四) 12:09的版本

添加24字节 、 2026年9月10日 (星期四)
→‎应用地图一览
第736行： 第736行：  
|-
 
|-
 
| 高类型递归
 
| 高类型递归
−
| Kleene 1959 体系；Jackson 定理
+
| Kleene 1959 体系<ref name="kleene1959"/>；Jackson 定理
 
| 理论的第一块基石〔§11〕
 
| 理论的第一块基石〔§11〕
 
|-
 
|-
取自“https://wiki.swarma.org/index.php/特殊:移动版差异/51080”

导航菜单