王国俊著2000 年出版305 页ISBN：7030085442
本书大部分内容是作者近期的研究成果，全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论;为模糊命题演算建立了一套形式演绎系统;把模糊推理纳入了严格的逻辑轨道;从整体赋值出发，建立了积分语义学...
冯琦编著2017 年出版516 页ISBN：9787030545794
本书旨在系统地引导数理逻辑一阶系统理论，包括一阶逻辑的三大基本特征定理：哥德尔完备性定理、紧致性定理、以及可数同质子结构存在性定理；并且以数这一基本常识观念为中轴线，包括自然数、整数、有理数、实数和...
宋文淼，阴和俊编著2006 年出版159 页ISBN：7030164229
量子力学与相对论极大地改变了人类的思维和对自然的认识，极大地促进了科学技术的发展。量子力学与相对论是物理学的终结吗？未来的物理学向哪个方向发展？本书从实物与暗物的数理逻辑角度提供了一个视角，阐述了重...
美国童光萃集编著2012 年出版128 页ISBN：9787530453575
本系列全套3本，分别为数理逻辑卷、语言文字卷、综合知识卷，是一套适用于小朋友脑力训练的高难度题集。内容丰富多彩、题型变化多样，极具挑战性，能提升孩子的自信心和意志力。出题方式妙趣横生，内容丰富，包含了......
李秀英主编2014 年出版41 页ISBN：7537668566
本书是著名脑开发研究专家李秀英根据4～5岁儿童生理、心理特征和认知水平，以幼儿园教育指导纲要为准则编写的低幼益智类数学丛书，阶段性地、系统性地训练儿童的数学思维能力，激发儿童对数学学习的兴趣。本套丛书...
（德）希尔柏脱（D.Hilbert），（德）阿克曼（W.Ackermann）著；莫绍揆译1958 年出版200 页ISBN：13031·750
本书是数理逻辑的有名经典著作之一，内容包括四章：第一章为命题演算，介绍基本逻辑联结词及其各种性质，并就命题演算而给出一个公理体系，证明其不矛盾性，完备性及互相独立性．第二章为类演算，兼讨论如何从类演算......
仇德辉著2018 年出版311 页ISBN：9787503564260
本书以“统一价值论”为理论基础，提出了情感的本质就是“人脑对于价值关系的主观反映”，并对情感进行了数学定义，在此基础上推导出情感强度三大定律。根据情感与价值的对应关系，认真分析了情感分类、情感模式、...
（美）布勒斯（Boolos，G.S.）等著2003 年出版356 页ISBN：7505388282
本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题，并重新组织和改写了某些章节，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。...
