《现代数学基础丛书·典藏版2：数理逻辑基础（下册）》陈述数理逻辑的基础知识，包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支（模型论、证明论和构造性数学、递归论、集合论）的共同的基础。
《现代数学基础丛书·典藏版2：数理逻辑基础（下册）》共六部分，分上、下两册。下册包括第三、四、五章和两个附录。第三章陈述逻辑演算的重言式系统，并研究自然推理系统和重言式系统的关系。第四章研究逻辑演算的可靠性和完备性问题。第五章讨论了逻辑演算如何应用于陈述具体的数学理论，并且研究了在数学中引进定义的形式化问题。附录（一）陈述带量词的命题逻辑；附录（二）定义了斜形证明，并且证明了形式证明与斜形证明的等价关系。
《现代数学基础丛书·典藏版2：数理逻辑基础（下册）》可以用作数学专业和其他专业数理逻辑课程的教材或教学参考书，或供有关工作人员参考，使用时可根据具体情况删减内容，使用《现代数学基础丛书·典藏版2：数理逻辑基础（下册）》时一般要求读者具有相当于大学高年级程度的数学训练。
网站首页 软件下载 游戏下载 翻译软件 电子书下载 电影下载 电视剧下载 教程攻略 音乐专区
霍普软件下载网电子书栏目提供海量电子书在线免费阅读及下载。
免责声明
本网站所展示的内容均来源于互联网，本站自身不存储、不制作、不上传任何内容，仅对网络上已公开的信息进行整理与展示。
本站不对所转载内容的真实性、完整性和合法性负责，所有内容仅供学习与参考使用。
若您认为本站展示的内容可能存在侵权或违规情形，请您提供相关权属证明与联系方式，我们将在收到有效通知后第一时间予以删除或屏蔽。
本网站对因使用或依赖本站信息所造成的任何直接或间接损失概不承担责任。联系邮箱：101bt@pm.me