关注微信公众号查券更方便
证明论第二版Dover数学英文版
Proof Theory: Second Edition 证明论 第二版 Dover数学进口原版英文书籍
Proof Theory: Second Edition证明论 第二版 Dover数学 英文原版
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs 证明论导论：归一化、切割消去定
英文原版 Basic Proof Theory 证明理论入门 剑桥理论计算机科学丛书系列 英文版 进口英语原版书籍
Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装
预订 Proof Theory of N4-Paraconsistent Logics: 9781848901674
Basic Proof Theory 证明理论入门 剑桥理论计算机科学丛书系列
预订 Theory Of Parallels: The Proof Of Euclid’s Axiom Looked For In The Properties Of The Equiangular Spiral: 978054831
An Introduction to Proof Theory 证明论导论 规范化、切割消除定理与一致性证明
Basic Proof Theory 证明理论入门 剑桥理论计算机科学丛书系列进口原版英文书籍
Ordinal Analysis with an Introduction to Proof Theory 序数分析与证明理论导论: 9789811564581
英文原版 An Introduction to Proof Theory 证明论导论 规范化 切割消除定理与一致性证明 英文版 进口英语原版书籍
Type Theory and Formal Proof 类型理论与形式证明
英文原版 Proof Theory: Second Edition 证明论 第二版 Dover数学 英文版 进口英语原版书籍
英文原版 Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装 英文版 进口英语原版书籍
海外直订Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990 证明理论：利兹证明理论课程19
海外直订Proof Theory: The First Step Into Impredicativity 证明理论:进入不可预测性的第1步
海外直订Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990 证明理论：利兹证明理论课程1990
预订 Hybrid Logic and its Proof-Theory 混合逻辑及其证明-理论: 9789400700017
按需印刷Proof Theory of N4-Paraconsistent Logics[9781848901674]
海外直订Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Cast 计算机科学证明理论:2001年
海外直订Proof Theory: History and Philosophical Significance 证明理论:历史与哲学意义
海外直订Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and 时间逻辑:从哲学和证明理论
现货 Hilbert's Proof Theory and its modern Development 希尔伯特证明理论及其现代发展【中商原版】【中商原版】
海外直订Applied Proof Theory: Proof Interpretations and Their Use in Mathematics 应用证明理论：证明解释及其在数学中
预订 ’heart of the God’ with ’grand Proof Equation’-A Classical Approach to Quantum Theory: 9780557089956
海外直订Proof Theory of N4-Paraconsistent Logics N4准一致逻辑的证明理论
海外直订Truth, Proof and Infinity: A Theory of Constructive Reasoning 真理，证明和无限:建构推理理论
【预售】Proof Theory: A Selection of Papers from the Leeds
现货 Proof Theory and Algebra in Logic
【3-4周达】Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Castle, German... [9783540427520]
海外直订Factors and Factorizations of Graphs: Proof Techniques in Factor Theory 图的因子与因子分解：因子论中的证明技术
海外直订Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control 还原逻辑与证明搜索：证明理论、语义学
海外直订Arithmetic, Proof Theory, and Computational Complexity 算术、证明理论与计算复杂性
海外直订Resolution Proof Systems: An Algebraic Theory 分辨率证明系统：代数理论
海外直订Proof Theory and Algebra in Logic 证明理论与逻辑代数“，
【预售】Proof Theory: Sequent Calculi and Related Formali
海外直订Type Theory and Formal Proof: An Introduction 类型论与形式证明
【3-4周达】Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990 [9780521054164]
【预订】Applied Proof Theory: Proof Interpretations and their Use in Mathematics
【3-4周达】Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990 [9780521414135]
海外直订Proof Theory for Fuzzy Logics 模糊逻辑的证明理论
海外直订Proof Theory and Automated Deduction 证明理论与自动推理
海外直订Arnon Avron on Semantics and Proof Theory of Non-Classical Logics 论非经典逻辑的语义学与证明理论
海外直订Computational Logic and Proof Theory: 5th Kurt G?del Colloquium, Kgc'97, Vienna, 计算逻辑与证明理论：第五库
海外直订Computational Logic and Proof Theory: Third Kurt G?del Colloquium, Kgc'93, Brno, 计算逻辑与证明理论：第三库
【3-4周达】Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Te... [9789811268533]
海外直订A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computab 逻辑学：模型理论、证明理论
[预订]Beyond Octonion Cosmology II: Origin of the Quantum; A New Generalized Field Theory (GiFT); A Proof 9781737264071
海外直订Proof Theory of Modal Logic 模态逻辑的证明理论
海外直订A Proof Theory for General Unification 一般统一的证明理论
预订Ordinal Analysis with an Introduction to Proof Theory[9789811564581]
预订 Logic and Fixed-Domain Reasoning: Volume 1: An Empirico-Pragmatist Model Theory and Proof Theory 逻辑与固定域推理
海外直订An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof 数理逻辑与类型论导论：通过证
预订 Hybrid Logic and its Proof-Theory: 9789400734357
Basic Proof Theory: 9780521779111
【3-4周达】Theory of the Integer and Fractional Quantum Hall Effects *Author to see the final proof [9781634849388]
【3-4周达】ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Bir... [9783540075332]
海外直订Ordinal Analysis with an Introduction to Proof Theory 序数分析与证明理论简介
海外直订A Proof Theory for General Unification 统一的证明理论
海外直订Proof and Computation II: From Proof Theory and Univalent Mathematics to Program
【3-4周达】Proof Theory : History and Philosophical Significance [9780792365440]
【3-4周达】Proof Theory : History and Philosophical Significance [9789048155538]
【3-4周达】Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extractio... [9789811236471]
【3-4周达】Proof Theory: Sequent Calculi and Related Formalisms [9781032920771]
【预售】Proof Theory and Automated Deduction
【预订】Arnon Avron on Semantics and Proof Theory of Non-Classical Logics 9783030712570
【预订】Arnon Avron on Semantics and Proof Theory of Non-Classical Logics 9783030712600
【按需印刷】 A First Course in Logic:An Introduction to Model Theory, Proof Theory, Computability, and Complexity
海外直订Logic Programming: Operational Semantics and Proof Theory 逻辑程序设计：操作语义学与证明理论
预订 Goal-Directed Proof Theory: 9789048155262
【3-4周达】Advances in Proof Theory (Softcover reprint of the original 1st ed. 2016) (Softcover repri... [9783319805139]
海外直订Hybrid Logic and Its Proof-Theory 混合逻辑及其证明理论
【预售】Abstract Sequent Axiomatizations of Finitary Universal Horn Theories: Abstract Proof Theory Versus General...
【3-4周达】Applied Proof Theory: Proof Interpretations and their Use in Mathematics [9783642096273]
【3-4周达】Applied Proof Theory: Proof Interpretations and their Use in Mathematics [9783540775324]
