数理逻辑导引

本书旨在系统地引导数理逻辑一阶系统理论，包括一阶逻辑的三大基本特征定理：哥德尔完备性定理、紧致性定理、以及可数同质子结构存在性定理；并且以数这一基本常识观念为中轴线，包括自然数、整数、有理数、实数和...

实物与暗物的数理逻辑

量子力学与相对论极大地改变了人类的思维和对自然的认识，极大地促进了科学技术的发展。量子力学与相对论是物理学的终结吗？未来的物理学向哪个方向发展？本书从实物与暗物的数理逻辑角度提供了一个视角，阐述了重...

逻辑学与逻辑术 第2辑

新型量子逻辑 确定性逻辑的超越

美国经典全脑300题 数理逻辑卷

本系列全套3本，分别为数理逻辑卷、语言文字卷、综合知识卷，是一套适用于小朋友脑力训练的高难度题集。内容丰富多彩、题型变化多样，极具挑战性，能提升孩子的自信心和意志力。出题方式妙趣横生，内容丰富，包含了......

国外计算机科学教材系列 可计算性与数理逻辑

本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题，并重新组织和改写了某些章节，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。...

语言、逻辑与认知：语言逻辑和语言哲学论集

看故事·学逻辑 逻辑，你好！

本书包括：一败涂地驴子的父子；头上长角的人；女孩的智慧；兔子头上的角；伟大的律师林肯先生；傻女婿做客等内容。

MBA联考逻辑与写作一本通关 逻辑部分

怎样提高逻辑思维能力 逻辑训练导引