更改
跳到导航
跳到搜索
←上一编辑
下一编辑→
递归定理
(查看源代码)
2026年9月10日 (四) 06:01的版本
添加30字节
、
2026年9月10日 (星期四)
无编辑摘要
第744行:
第744行:
|}
|}
−
(表中"§"编号均指 Moschovakis 2010 的章节。)
+
(表中"§"编号均指 Moschovakis 2010
<ref name="moschovakis2010" />
的章节。)
== 评注与影响 ==
== 评注与影响 ==
Jake
行政员
、
界面管理员
、
管理员
3,094
个编辑
导航菜单
个人工具
登录
名字空间
页面
讨论
变种
视图
阅读
查看源代码
查看历史
更多
搜索
导航
集智百科
集智主页
集智斑图
集智学园
最近更改
所有页面
捐赠我们
帮助
工具
特殊页面
可打印版本