数理逻辑的思想与方法

本书共分6章。第一章介绍了运算的基本思想与方法;第二章至第四章介绍了命题逻辑的思想和方法;第五六章介...

2012.10

麦卡锡函数和阿克曼函数

本书从一道前南斯拉夫数学奥林匹克试题谈起,以粗犷的线条,简明的介绍了麦卡锡函数、阿克曼函数及递归函数...

2012.8

GMAT逻辑指导大全

本书最大的亮点之一是把GMAT逻辑推理涉及的基本规则及技巧以清晰简明的语言提供给读者,理解这些基本逻辑常...

2012.7

数学无穷与中介的逻辑基础

本书内容分为两篇,共5章。第一篇讨论经典与非经典数学的理论基础问题。分两章陈述,其中第一章研讨精确性...

2012.6

罗素文集

本书内容涵盖《数理哲学导论》。

2012.

数理逻辑基础

数理逻辑是从传统形式逻辑中分化出来的一门新兴科学。本书从4个方面讲述了数理逻辑及其基础知识。第一部分...

2012.1