20世纪早期见证了经典物理和数学的基础假设遭受的几次打击。相对论颠覆了约定俗成的时空观念。量子世界的研...
2008.04
本书是一部难度适中的本科生数学教材。主要讲述了什么是数学证明，这些证明怎么能够被验证以及电脑在多大程...
2008.05
本书由四章组成。作者为数学博士，本书是作者在理论与实践中的科学研究总结。
2008.02
本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。
2009.03
本书是罗素的数理哲学的通俗著作。在本书中罗素以他的明白晓畅的笔法陈述了数学原理研究中确定的研究结果。
2009.06
本书对现代数理逻辑的基本内容进行了系统的、由浅入深的精确介绍。
2008.10
本书在第一版的基础上进行修订再版，全书共9章，内容可分为Boole代数理论，命题演算与谓词演算理论，归结原...
2008.
本书共分5章。介绍了数理逻辑的现状、错误逻辑的基础理论“错误集理论”、错误逻辑的基本概念、基本连接词、...
2008.
本书主要介绍了命题与命题联结词，命题逻辑演算，谓词与量词，谓词逻辑演算，逻辑演算系统的整体特征，非经...
2008.04
本书大部分内容是作者近年来的研究成果。全书系统地讲述了各种三值逻辑、n 值逻辑以及连续值逻辑理论；为模...
2008.