《数理逻辑入门》

书名：《数理逻辑入门》

ISBN：9787518421831

出版地：北京

出版时间：2018.12

出版价格：52元

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