注册 |登录

mayaoji的个人博客分享 http://blog.sciencenet.cn/u/mayaoji

博文

可证性逻辑GL的不动点定理——逻辑学笔记30

已有 3472 次阅读 2020-8-22 13:48 |个人分类:逻辑学|系统分类:科研笔记| 可证性逻辑, 不动点

image.png

image.png

image.png

image.png

image.png



https://blog.sciencenet.cn/blog-1255140-1247432.html

上一篇：人类的本性从何而来？说说进化心理学的诞生
下一篇：可证性逻辑定理判定的树形图方法——逻辑学笔记31
收藏 IP: 119.133.136.*| 热度|

0

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

数据加载中...

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-11-23 12:13

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部