可证性逻辑GL的不动点定理——逻辑学笔记30
2020-8-22 13:48
阅读：2890
标签：可证性逻辑, 不动点
转载本文请联系原作者获取授权，同时请注明本文来自马耀基科学网博客。
链接地址：https://m.sciencenet.cn/blog-1255140-1247432.html?mobile=1
收藏
当前推荐数：0
推荐到博客首页
网友评论0 条评论
转载本文请联系原作者获取授权，同时请注明本文来自马耀基科学网博客。
链接地址：https://m.sciencenet.cn/blog-1255140-1247432.html?mobile=1
收藏
