数理逻辑入门
简介
本书是一本数理逻辑导论教材，主要介绍数理逻辑的基础知识，包括命题逻辑、一阶逻辑、不完全性定理及不完全性证明等，并穿插对逻辑学家的介绍以及对数理逻辑基本概念的说明，以给高校学生和大众读者介绍关于数理逻辑的一般知识，帮助其提高在日常生活中的推理和论证能力。
有问题微信扫码联系
本书是一本数理逻辑导论教材，主要介绍数理逻辑的基础知识，包括命题逻辑、一阶逻辑、不完全性定理及不完全性证明等，并穿插对逻辑学家的介绍以及对数理逻辑基本概念的说明，以给高校学生和大众读者介绍关于数理逻辑的一般知识，帮助其提高在日常生活中的推理和论证能力。