证明与反驳:数学发现的逻辑
证明与反驳:数学发现的逻辑基本信息·出版社：复旦大学 ·页码：193 页 ·出版日期：2007年 ·ISBN：7309053974 ·条形码：9787309053975 ·包装版本：1 ·装帧：平装 ·开本：0开 产品信
高中数学题组精编 第七册（逻辑用语 数系扩充 推理与证明 导数）作者： 出 版 社： 浙江教育出版社 出版时间：字数：版次：页数：印刷时间：开本：印次：纸张：I S B N ： 9787533885199包装：
基本信息出版社:浙江教育出版社; 1其他ISBN:9787533885199条形码:9787533885199ASIN:B003U66KC8
数学：常用逻辑用语 推理与证明解决方案——高考大问题作者： 薛金星 主编 出 版 社： 人民日报出版社 出版时间： 2010-4-1字数：版次： 1页数： 116印刷时间： 2010-4-1开本： 16开印次： 1纸张： 胶版纸I S B N ：
高次逻辑中的定理证明 Theorem proving in higher order logics作者： Victor A. Carreno著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 346印刷时间： 2002/12/01开本：印次：纸张： 胶版纸I S
基本信息出版社:科学出版社; 第01版 (2010年9月7日)丛书名:数学课程与教学论丛书1其他:252页开本:B5ISBN:9787030287113条形码:9787030287113ASIN:B0
从前有个数:故事中的数学逻辑(开放人文)基本信息·出版社：上海科学技术出版公司 ·页码：184 页 ·出版日期：2006年 ·ISBN：7532383881 ·条形码：9787532383887 ·包装版本：第1版 ·装帧：平装 ·开本：
20世纪的数学逻辑MATHEMATICAL LOGIC IN THE 20TH CENTURY作者： Gerald E. Sacks 著 出 版 社： Aspen Publishers 出版时间： 2001-12-1字数：版次： 1页数： 693印刷时间： 2001/12/01开本：印次：
多值数学逻辑理论基本信息·出版社：浙江大学出版社 ·页码：230 页 ·出版日期：2006年 ·ISBN：7308049728 ·条形码：9787308049726 ·包装版本：第1版 ·装帧：平装 ·开本：16开
Basic Concepts of Mathematics and Logic基础数学和逻辑概念作者： Michael C. Gemignani著 出 版 社： 出版时间： 2004-4-1字数：版次： 1页数： 280印刷时间： 2004/04/01开本： 16开印次： 1纸张： 胶版纸I S