数理逻辑基础(上册)

联合创作 · 2023-10-09 06:39

本书介绍数理逻辑的基础知识,包括逻辑演算的基本内容. 这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同基础.

浏览 1
点赞
评论
收藏
分享

手机扫一扫分享

编辑 分享
举报
评论
图片
表情
推荐
点赞
评论
收藏
分享

手机扫一扫分享

编辑 分享
举报