题名:
数理逻辑入门
/ Raymond M. Smullyan, 刘新文 .. ,
ISBN:
978-7-5184-2183-1 价格： 0.00
载体形态:
370页 24cm
出版发行:
出版地： 北京 出版社：
中国轻工业出版社
出版日期： 20190101
内容提要:
本书是一本数理逻辑导论教材, 主要介绍数理逻辑的基础知识, 包括命题逻辑、一阶逻辑、不完全性定理及不完全性证明等, 并穿插对逻辑学家的介绍以及对数理逻辑基本概念的说明, 以给高校学生和大众读者介绍关于数理逻辑的一般知识, 帮助其提高在日常生活中的推理和论证能力。
主题词:
数理逻辑
中图分类法:
O141 版次：