logo
标签名: 数理逻辑
数学哲学
出版日期: 2003-01

数学哲学

评分: 8.6
作为哲学的数理逻辑
出版日期: 2016-01
数理哲学导论
出版日期: 1982-01
数理逻辑通俗讲话
出版日期: 1983-01
A Mathematical Introduction to Logic: Second Edition
出版日期: 2001-01
哥德尔
出版日期: 2002-01

哥德尔

评分: 8.4
数理逻辑: 证明及其限度
出版日期: 2014-01
康托的无穷的数学和哲学
出版日期: 2008-01
逻辑与演绎科学方法论导论
出版日期: 1963-01
集合论: 对无穷概念的探索
出版日期: 2014-01
神秘的阿列夫
出版日期: 2008-01
面向计算机科学的数理逻辑
出版日期: 2002-01
面向计算机科学的数理逻辑系统建模与推理
出版日期: 2007-01
逻辑、语言与意义(第2卷): 内涵逻辑与逻辑语法
出版日期: 2017-01
The Rise of Modern Logic: from Leibniz to Frege: Handbook of the History of Logic Volume 3
出版日期: 2004-01
塔斯基定理与真理论悖论
出版日期: 2014-01
Introduction to Mathematical Logic
出版日期: 1996-01
数理逻辑是什么
出版日期: 2018-01
The Principles of Mathematics
出版日期: 1996-01
数学.计算.逻辑
出版日期: 1993-01
语言学中的数学方法
出版日期: 2009-01
Lectures on the Curry-Howard Isomorphism, Volume 149
出版日期: 2006-01
The Foundations of Mathematics
出版日期: 2015-01
人工智能 下册
出版日期: 1996-01