目录 - 第 16973 页
数学名著译丛：数学与猜想（第1卷） --- （美）波利亚（Polya，G.） 著，李心灿，王月爽，李志尧 译 --- 科学出版社 2001
加德纳趣味数学系列：逻辑推理新趣题 --- 美.乔治J.萨默斯 著 --- 上海科技教育出版社 1999
数理逻辑引论与归结原理（第2版） --- 王国俊 著 --- 科学出版社 2006
不确定理论与优化丛书：基于包含度的不确定推理 --- 张文修，梁怡，徐萍编著 --- 清华大学出版社 2007
面向计算机科学的数理逻辑系统建模与推理（原书第2版） --- （德）哈斯，（英）瑞安 著，何伟、樊磊 译 --- 机械工业出版社 2007
数理逻辑基础与粒计算 --- 闫林 著 --- 科学出版社 2007
数理逻辑基本原理与形式演算 --- 李未 著 --- 科学出版社 2008
高等学校理工科数学类规划教材：数理逻辑引论 --- 朱梧槚，肖奚安 编著 --- 大连理工大学出版社 2008
错误逻辑 --- 郭开仲 著 --- 科学出版社 2008
胡世华文集 --- 中国科学院软件所胡世华 等著 --- 科学出版社 2008
数学模型与实验 --- 刘焕彬 等编著 --- 科学出版社 2008
博雅大学堂·哲学：数理逻辑 --- 邢滔滔 著 --- 北京大学出版社 2008
清华大学计算机系列教材：数理逻辑与集合论 --- 石纯一 --- 清华大学出版社 2000
加德纳趣味数学系列：逻辑推理新趣题 --- 美.乔治J.萨默斯 著 --- 上海科技教育出版社 1999
数理逻辑引论与归结原理（第2版） --- 王国俊 著 --- 科学出版社 2006
不确定理论与优化丛书：基于包含度的不确定推理 --- 张文修，梁怡，徐萍编著 --- 清华大学出版社 2007
面向计算机科学的数理逻辑系统建模与推理（原书第2版） --- （德）哈斯，（英）瑞安 著，何伟、樊磊 译 --- 机械工业出版社 2007
数理逻辑基础与粒计算 --- 闫林 著 --- 科学出版社 2007
数理逻辑基本原理与形式演算 --- 李未 著 --- 科学出版社 2008
高等学校理工科数学类规划教材：数理逻辑引论 --- 朱梧槚，肖奚安 编著 --- 大连理工大学出版社 2008
错误逻辑 --- 郭开仲 著 --- 科学出版社 2008
胡世华文集 --- 中国科学院软件所胡世华 等著 --- 科学出版社 2008
数学模型与实验 --- 刘焕彬 等编著 --- 科学出版社 2008
博雅大学堂·哲学：数理逻辑 --- 邢滔滔 著 --- 北京大学出版社 2008
清华大学计算机系列教材：数理逻辑与集合论 --- 石纯一 --- 清华大学出版社 2000
1 2 ... 16966 16967 16968 16969 16970 16971 16972 16973 16974 16975 16976 16977 16978 16979 ... 36290 36291