关注微信公众号查券更方便
[预订]Proofs: A Long-Form Mathematics Textbook (The Long-Form Math Textbook Series)
Reverse Mathematics: Proofs from the...
海外直订Theoremus: A Student's Guide to Mathematical Proofs Theoremus：学生数学证明指南
海外直订Why Prove It Again?: Alternative Proofs in Mathematical Practice 为什么还要再证明一次？：数学实践中的替代证明
海外直订Reverse Mathematics: Proofs from the Inside Out 逆向数学：由内而外的证明
海外直订Geometry for Computer Graphics: Formulae, Examples and Proofs 计算机图形学中的几何学：公式、例子和证明
海外直订Semialgebraic Proofs and Efficient Algorithm Design 半代数证明与高效算法设计
海外直订Philosophy of Mathematics: A Contemporary Introduction to the World of Proofs an 数学哲学:证明和图片世界的当代
海外直订The Elementary Theory of Groups: A Guide Through the Proofs of the Tarski Conjec 群的基本理论
现货 逆数学 由内而外的证明 Reverse Mathematics Proofs from the Inside Out 英文原版 John Stillwell【中商原版】
海外直订Further Proofs of the Pre-Cambrian Age of Certain Granitoid, Felsitic, and Other 彭布罗克郡西北部某些花岗岩
海外直订Geometry for Computer Graphics: Formulae, Examples and Proofs 计算机图形学几何：公式、例子和证明
海外直订Social Memory in Late Medieval England: Village Life and Proofs of Age 中世纪晚期英格兰的社会记忆：乡村生活
海外直订Proof in Geometry: With "mistakes in Geometric Proofs" 几何证明：“几何证明错误”
海外直订Building Proofs: A Practical Guide 建筑校样实用指南
海外直订The Quadratic Reciprocity Law: A Collection of Classical Proofs 二次互易定律：经典证明集
海外直订Numerical Verification Methods and Computer-Assisted Proofs for Partial Differen 偏微分方程的数值验证方法及
海外直订Problems and Proofs in Real Analysis: Theory of Measure and Integration 实证分析中的问题与证明：测度与整合
海外直订Sets, Models and Proofs 套、模型和校样
海外直订Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs 计算机科学家的应用逻辑：计
海外直订[Thirty Plates, Proofs of Illustrations to the Household Edition of the Works of [查尔斯·狄更斯作品家庭版的
海外直订Numerical Verification Methods and Computer-Assisted Proofs for Partial Differen 偏微分方程的数值验证方法与
海外直订Introduction to Proofs and Proof Strategies 证明与证明策略导论
海外直订Logic, Sets and the Techniques of Mathematical Proofs: A Companion for High Scho 逻辑、集合与数学证明技术：
海外直订Proofs that Life is Cosmic: Acceptance of a New Paradigm 生命是宇宙的证明：接受新范式
海外直订Tests and Proofs: 16th International Conference, Tap 2022, Held as Part of Staf 测试和证明:第16届国际会议
海外直订Tests and Proofs: 15th International Conference, Tap 2021, Held as Part of Staf 测试和证明：第15届国际会议
海外直订Logics of Proofs and Justifications 证明与理据逻辑
海外直订The Quadratic Reciprocity Law: A Collection of Classical Proofs 二次互易定律:经典证明的集合
海外直订Principles and Proofs: Aristotle's Theory of Demonstrative Science 原理与证明:亚里士多德的论证科学理论
海外直订Tests and Proofs: 5th International Conference, Tap 2011, Zürich, Switzerland, J 测试和证明：第五届国际会议
海外直订Why Prove It Again?: Alternative Proofs in Mathematical Practice 为什么还要再证明一次？：数学实践中的替代证
海外直订Mathematical Reasoning: Patterns, Problems, Conjectures, and Proofs 数学推理：模式、问题、猜想和证明
海外直订Proofs 101: An Introduction to Formal Mathematics 证明101:形式数学导论
预售 按需印刷 TF An Introduction to Mathematical Proofs
海外直订Graph Theory: An Introduction to Proofs, Algorithms, and Applications 图论:证明、算法和应用导论
海外直订Types for Proofs and Programs: International Workshop, Types 2004, Jouy-En-Josas 证明和程序的类型:国际研讨
海外直订Mathematical Proofs: A Transition to Advanced Ma... 数学证明:向高等数学的过渡
海外直订Mathematical Reasoning: Patterns, Problems, Conjectures, and Proofs 数学推理:模式，问题，猜想和证明
海外直订Mathematical Problems and Proofs: Combinatorics, Number Theory, and Geometry 数学问题和证明：组合数学、数论
海外直订Special Integrals of Gradshteyn and Ryzhik: The Proofs - Volume II Gradshteyn和Ryzhik的特殊积分：证明-第二
海外直订医药图书Theory of the earth, with proofs and illustrations. In four parts. By James Hutt 地球理论，附有证明
海外直订Science Of Learning Mathematical Proofs, The: An... 学习数学证明的科学:入门课程
海外直订Efficient Checking of Polynomials and Proofs and the Hardness of Approximation P 多项式的有效检验、证明和逼
海外直订Introduction to Mathematical Proofs 数学证明导论
海外直订Social Memory in Late Medieval England: Village Life and Proofs of Age 中世纪晚期英格兰的社会记忆:乡村生活
海外直订Metamath: A Computer Language for Mathematical Proofs 元数学：数学证明的计算机语言
海外直订Special Integrals of Gradshteyn and Ryzhik: The Proofs - Volume II Gradshteyn和Ryzhik的特殊积分:证明-第二卷
海外直订Words, Proofs and Diagrams 单词，证明和图表
海外直订Dag Prawitz on Proofs and Meaning 达格·普拉维茨论证明与意义
海外直订Aristotle's Modal Proofs: Prior Analytics A8-22 in Predicate Logic 亚里士多德的模态证明:谓词逻辑中的先验分
海外直订Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs Alasdair Urq
海外直订Proofs of the Cantor-Bernstein Theorem: A Mathematical Excursion Proofs of the Cantor-Berns
海外直订Philological Proofs of the Original Unity and Recent Origin of the Human Race 人类原始统一和近代起源的文献
海外直订Philological Proofs of the Original Unity and Recent Origin of the Human Race 人类最初的统一性和最近起源的
海外直订Indexes to Seamen's Protection Certificate Applications and Proofs of Citizenshi 海员保护证书申请和公民证明
英文原版 Principles and Proofs Princeton Legacy Library原理与证明 亚里士多德的推演式科学理论 哲学Richard D. McKirahan Jr
海外直订The Sequence of Event Analysis in Criminal Trials: Scientific Proofs for Trackin 刑事审判中的事件分析顺序：
海外直订Math Proofs Demystified 数学证明
海外直订Proofs and Algorithms: An Introduction to Logic and Computability 证明与算法：逻辑与可计算性导论
海外直订Tests and Proofs: 8th International Conference, Tap 2014, Held as Part of Staf 2 测试和证明:第8届国际会议，
海外直订Mathematical Thinking: Problem-Solving and Proofs (Classic Version) 数学思维:解决问题和证明(经典版)
海外直订医药图书Types for Proofs and Programs: International Workshop, Types 2000, Durham, Uk, D 证明和程序的类型:
海外直订Termination Proofs for Logic Programs 逻辑程序的终止证明
海外直订Simple Theorems, Proofs, and Derivations in Quantum Chemistry 量子化学中的简单定理、证明和推导
海外直订Dense Sphere Packings: A Blueprint for Formal Proofs 密集领域包装
海外直订Mathematical Stories I - Graphs, Games and Proofs: For Gifted Students in Primar 数学故事I -图表、游戏和证
海外直订Adapting Proofs-As-Programs: The Curry--Howard Protocol 调整证明为程序:库里-霍华德协议
海外直订Types for Proofs and Programs: International Workshop Types'96, Aussois, France, 校样和程序类型：19
海外直订Human Interactive Proofs: Second International Workshop, Hip 2005, Bethlehem, Pa 人类互动证明:第二届国际研
海外直订Canonical Equational Proofs 正则等式证明
海外直订Educational Research: Proofs, Arguments, and Other Reasonings 教育研究:证明、论证和其他推理
海外直订Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, 校样和程序的类型：1994年6
海外直订Types for Proofs and Programs: International Workshop, Types 2006, Nottingham, U 证明和程序的类型:国际研讨
海外直订Proofs and Computations 证明和计算
海外直订The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs 证明的基本原理:数学证明概论
海外直订Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, 测试和证明:第三届国际会议
海外直订Introduction to Dependent Types with Idris: Encoding Program Proofs in Types Idris的依赖类型介绍:在类型中编
海外直订Tests and Proofs: 9th International Conference, Tap 2015, Held as Part of Staf 2 测试和证明:第九届国际会议
海外直订Proofs and Confirmations: The Story of the Alternating-Sign Matrix Conjecture 证明和确认：交替符号矩阵猜想
海外直订Types for Proofs and Programs: International Workshop, Types '98, Kloster Irsee, 校样和程序类型：19
海外直订A Promenade in Mathematical Proofs with Comprehensive Review of Proof Techniques A Promenad
海外直订Introduction to Mathematical Structures and Proofs
海外直订My Invitation to Mathematical Problems: Computations, Solutions, Proofs and Insi My Invitat
