我爱电子书 - 数理逻辑

注重体验与质量的电子书资源下载网站

标签名: 数理逻辑

Computability and Logic — 出版日期: 2007-01

Computability and Logic

评分: 9.4

数理逻辑 — 出版日期: 2010-01

数理逻辑

评分: 9.3

符号逻辑讲义 — 出版日期: 2008-01

符号逻辑讲义

评分: 9.3

哥德尔证明 — 出版日期: 2008-01

哥德尔证明

评分: 9.3

An Introduction to Formal Logic — 出版日期: 2003-01

An Introduction to Formal Logic

评分: 9.3

集合论基础 — 出版日期: 2013-01

集合论基础

评分: 9.3

数理逻辑: （英文版 · 第2版） — 出版日期: 2006-01

数理逻辑: （英文版 · 第2版）

评分: 9.2

数学家的逻辑 — 出版日期: 1989-01

数学家的逻辑

评分: 9.2

递归可枚举集和图灵度 — 出版日期: 2007-01

递归可枚举集和图灵度

评分: 9.2

Proofs without Words: Exercises in Visual Thinking — 出版日期: 1993-01

Proofs without Words: Exercises in Visual Thinking

评分: 9.2

Logic in Computer Science: Modelling and Reasoning about Systems — 出版日期: 2004-01

Logic in Computer Science: Modelling and Reasoning about Systems

评分: 9.1

数理逻辑: 第2版 — 出版日期: 2008-01

数理逻辑: 第2版

评分: 9.1

弗雷格哲学论著选辑 — 出版日期: 2006-01

弗雷格哲学论著选辑

评分: 9.1

数理逻辑引论 — 出版日期: 1998-01

数理逻辑引论

评分: 9.1

Logic, Language, and Meaning, Volume 1: Introduction to Logic — 出版日期: 1990-01

Logic, Language, and Meaning, Volume 1: Introduction to Logic

评分: 9.0

集合论 — 出版日期: 2007-01

集合论

评分: 8.9

数理逻辑导引 — 出版日期: 2017-01

数理逻辑导引

评分: 8.9

数学基础 — 出版日期: 2001-01

数学基础

评分: 8.9

公理集合论导引 — 出版日期: 1999-01

公理集合论导引

评分: 8.8

Computability: An Introduction to Recursive Function Theory — 出版日期: 1980-01

Computability: An Introduction to Recursive Function Theory

评分: 8.8

蒯因著作集（第1卷） — 出版日期: 2007-01

蒯因著作集（第1卷）

评分: 8.7

面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理 — 出版日期: 2005-01

面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理

评分: 8.7

算术基础 — 出版日期: 1998-01

算术基础

评分: 8.6

一阶逻辑和一阶理论: 现代逻辑丛书 — 出版日期: 1994-01

一阶逻辑和一阶理论: 现代逻辑丛书

评分: 8.6