现代数学基础丛书024-递归论-莫绍揆-科学出版社-1987.pdf by adminPosted on2022年1月19日 豆瓣评分:9.2 豆瓣简介: 本书介绍数理逻辑的基础知识,包括逻辑演算的基本内容. 这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同基础. 下载链接