剧情简介：立足基础，反映前沿，在学术界形成广泛影响 研究生奉为经教材，青年学者视为良师益友 二百余位超一流作者，精心编撰铸就学术经典 超豪华的编委会阵容，精挑细选凝聚数学华章 数理逻辑是研究推理，特别是研究数学中的推理的科学，本书陈述数理逻辑的基础性知识，包括逻辑演算（这里是指命题逻辑和一阶谓词逻辑）的基本内容，这些内容构成数理逻辑各个分支（模型论、证明论和构造性数学、递归论、集合论）的共同的基础。 数理逻辑的思想可以溯源到莱布尼兹D，而命题逻辑和一阶谓词逻辑的研究则从弗雷格开始。以后，经过皮尔斯，施罗德，皮亚诺，怀德海与罗素，勒文海姆，斯柯伦等的研究，特别是经过了希尔伯特与阿克曼、贝尔奈斯的研究和整理，谓词逻辑的体系得以形成；而在哥德尔证明了一阶逻辑的完全性定理之后，这个逻辑演算的体系可以说是最后得到完成， 逻辑演算是反映前提和结论之间的推理关系的形式系统。...(展开全部)
作者：伍鸿熙
出版社：科学出版社
ISBN：9787030444035
