数理逻辑导引 9787030545794 冯琦 编著 现代数学基础丛书 O141 科学出版社 2017-09 2017 2017 本书是作者在新加坡国立大学、北京大学和中国科学院大学为本科高年级学生开设的数理逻辑选修课和在新加坡国立大学、中国科学院数学与系统科学研究院为研究生开设的专业课程所写讲义基础上整理出来的结果。本书主要由一阶逻辑的核心内容和有关数的逻辑探索和分析两大部分组成,其中包括完备性、紧致
微信公众账号
微信扫一扫加关注
发表评论 取消回复