本书包含一阶数理逻辑的基本核心内容， 具体包括一阶理论简介、一阶理论的若干定理、一阶理论的特殊问题、...
2019.7
本书是《数理逻辑：证明及其限度》的第二版，主要内容为数理逻辑的基本知识。全书共分10章：第一章是预备知...
2019.9
本书由8个部分的内容组成，包括绪论和7个章节的内容。绪论部分介绍元数学的形成与发展，同时简要说明课程学...
2019.7
在本书中，享有盛誉的历史学家阿米尔·亚历山大披露了在16-17世纪的欧洲，无穷小量为何会被抵制，以及它最终...
2019.3
《GRE&GMAT逻辑阅读法》对单个逻辑单位做了详细的剖析，并详细阐述了两个逻辑单位之间的种种关系，最后结合...
2019.2
”本书是一部难度适中的本科生数学教材.主要讲述了什么是数学证明,这些证明怎么能够被验证以及电脑在多大程...
2018.12
本书是一本数理逻辑导论教材，主要介绍数理逻辑的基础知识，包括命题逻辑、一阶逻辑、不完全性定理及不完全...
2018.12
本书作者Yu.I.Manin是前苏联杰出的数学家，从事数论与代数几何研究工作。第1版书名为A Course in Mathemati...
2018.12