现代数学基础丛书012-分析概率论-胡池鹤-科学出版社-1984.pdf

豆瓣评分:9.2
豆瓣简介:
本书介绍数理逻辑的基础知识，包括逻辑演算的基本内容. 这些内容构成数理逻辑各个分支（模型论、证明论和构造性数学、递归论、集合论）的共同基础.
下载链接