关注微信公众号查券更方便
证明论第二版Dover数学英文版
【预售】Reductive Logic and Proof-Search: Proof Theory
现货 Proof Theory and Algebra in Logic
类型论和形式证明 英文原版 Type Theory and Formal Proof Rob Nederpelt 精装 英文版 进口英语原版书籍
【3-4周达】Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic [9781848902671]
【3-4周达】精装 Type Theory and Formal Proof: An Introduction [9781107036505]
【3-4周达】Advances in Proof Theory (Softcover reprint of the original 1st ed. 2016) [9783319805139]
【3-4周达】精装 Proof Theory for Fuzzy Logics [9781402094088]
【3-4周达】A Proof Theory for General Unification [9781461267584]
【3-4周达】精装 Discrete Mathematics Its Applications: Proof Theory: Sequent Calculi and Related Form... [9781466564664]
【3-4周达】Model Theory and Algebraic Geometry : An introduction to E. Hrushovski's proof of the geom... [9783540648635]
【3-4周达】Proof Theory: An Introduction [9783540518426]
【3-4周达】Applied Proof Theory: Proof Interpretations and their Use in Mathematics [9783642096273]
【3-4周达】精装 Combinators, λ-Terms and Proof Theory [9789027703057]
【3-4周达】Introduction to Proof Through Number Theory [9781470470272]
【3-4周达】Proof Theory and Algebra in Logic [9789811379963]
【3-4周达】Factors and Factorizations of Graphs : Proof Techniques in Factor Theory [9783642219184]
预订 First Year Students' Difficulties in Proof Construction in Set Theory [9786139975532]
【3-4周达】Proof Theory for Fuzzy Logics [9789048181216]
【3-4周达】精装 'Heart of the God' with 'Grand Proof Equation'-A Classical Approach to Quantum Theory [9780557089956]
【3-4周达】精装 Applied Proof Theory: Proof Interpretations and their Use in Mathematics [9783540775324]
预订 Proof Theory: Second Edition (Second Edition) [9780486490731]
【3-4周达】The Method of Socratic Proofs: From the Logic of Questions to Proof Theory [9783031824531]
【3-4周达】精装 Systems Theory: Perspectives, Applications and Developments EDITOR TO SEE FINAL PROOF [9781631178665]
【3-4周达】精装 What Logics Mean: From Proof Theory to Model-Theoretic Semantics [9781107039100]
【3-4周达】精装 A Model–Theoretic Approach to Proof Theory [9783030289201]
【3-4周达】What Logics Mean: From Proof Theory to Model-Theoretic Semantics [9781107611962]
【3-4周达】Goal-Directed Proof Theory [9789048155262]
【3-4周达】精装 Arnon Avron on Semantics and Proof Theory of Non-Classical Logics [9783030712570]
【3-4周达】Combinators, λ-Terms and Proof Theory [9789401029155]
【3-4周达】Ordinal Analysis with an Introduction to Proof Theory [9789811564611]
【3-4周达】Arnon Avron on Semantics and Proof Theory of Non-Classical Logics [9783030712600]
An Introduction to Proof Theory 证明论导论 规范化、切割消除定理与一致性证明
英文原版 An Introduction to Proof Theory 证明论导论 规范化 切割消除定理与一致性证明 英文版 进口英语原版书籍
【3-4周达】Hybrid Logic and its Proof-Theory [9789400734357]
【3-4周达】Proof Theory of Modal Logic [9789048147205]
【3-4周达】精装 Hybrid Logic and its Proof-Theory [9789400700017]
【3-4周达】Truth, Proof and Infinity : A Theory of Constructive Reasoning [9789048151059]
【3-4周达】Proof Theory : History and Philosophical Significance [9789048155538]
【3-4周达】精装 Some Quantitative Methods and Models in Economic Theory *Author to see the final proof [9781634849371]
【3-4周达】精装 Ordinal Analysis with an Introduction to Proof Theory [9789811564581]
【3-4周达】精装 Controlling Supply Chains: Theory and Practice *Author to see the final proof [9781634850711]
英文原版 Basic Proof Theory 证明理论入门 剑桥理论计算机科学丛书系列 英文版 进口英语原版书籍
Basic Proof Theory 证明理论入门 剑桥理论计算机科学丛书系列
Basic Proof Theory 证明理论入门 剑桥理论计算机科学丛书系列进口原版英文书籍
【3-4周达】精装 An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof (Secon... [9781402007637]
【3-4周达】A Model–Theoretic Approach to Proof Theory [9783030289232]
【3-4周达】Proof Theory and Automated Deduction [9781402003684]
【3-4周达】A Proof Theory for Description Logics [9781447140016]
【3-4周达】精装 Proof Theory and Logic Programming: Computation as Proof Search [9781009561297]
【3-4周达】ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Bir... [9783540075332]
【3-4周达】The Semantics and Proof Theory of the Logic of Bunched Implications [9789048160723]
【3-4周达】精装 Self-Determination Theory: A Family Perspective *Editor to see the final proof [9781634855020]
【3-4周达】Proof Theory: Sequent Calculi and Related Formalisms [9781032920771]
【3-4周达】精装 Advances in Proof Theory (1st ed. 2016) [9783319291963]
【3-4周达】精装 The Semantics and Proof Theory of the Logic of Bunched Implications [9781402007453]
【3-4周达】Resolution Proof Systems: An Algebraic Theory [9789401072519]
【3-4周达】Proof Theory and Intuitionistic Systems [9783540055419]
【3-4周达】Proof Theory of N4-Paraconsistent Logics [9781848901674]
【3-4周达】Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria... [9783540633853]
【3-4周达】精装 Quantum Information Theory of Molecular States *Author to see the final proof [9781634852227]
【3-4周达】Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Castle, German... [9783540427520]
【3-4周达】Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech R... [9783540571841]
【3-4周达】An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof (Second Edi... [9789048160792]
【3-4周达】A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and... [9780198529811]
【3-4周达】精装 Truth, Proof and Infinity : A Theory of Constructive Reasoning [9780792352624]
【3-4周达】Proof Theory [9783642664755]
【3-4周达】The Scientific Proof of God: Unified Field Theory Revealed [9781944335670]
Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装
英文原版 Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装 英文版 进口英语原版书籍
现货 精装 Handbook of Proof Theory: Volume 137 [9780444898401]
【预售】Arithmetic, Proof Theory, and Computational
【预售】Proof Theory: A Selection of Papers from the Leeds
【预售】Proof Theory: Sequent Calculi and Related Formali
海外直订Applied Proof Theory: Proof Interpretations and Their Use in Mathematics 应用证明理论：证明解释及其在数学中
海外直订Type Theory and Formal Proof: An Introduction 类型论与形式证明
海外直订A Proof Theory for General Unification 统一的证明理论
海外直订Advances in Proof Theory 证明理论的进展
海外直订Arnon Avron on Semantics and Proof Theory of Non-Classical Logics 论非经典逻辑的语义学与证明理论
海外直订Computational Logic and Proof Theory: 5th Kurt G?del Colloquium, Kgc'97, Vienna, 计算逻辑与证明理论：第五库
海外直订Proof Theory of Modal Logic 模态逻辑的证明理论
海外直订Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control 还原逻辑与证明搜索：证明理论、语义学
海外直订Proof Theory for Fuzzy Logics 模糊逻辑的证明理论
海外直订Proof Theory: Sequent Calculi and Related Formalisms 证明论：后继计算及相关形式
海外直订Proof Theory and Algebra in Logic 证明理论与逻辑代数“，
按需印刷不退不换 A First Course in Logic:An Introduction to Model Theory, Proof Theory, Computability, and Complexity
海外直订Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic 形式逻辑的探索：第二卷：谓词
海外直订An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof 数理逻辑与类型论导论：通过证
海外直订Factors and Factorizations of Graphs: Proof Techniques in Factor Theory 图的因子与因子分解：因子论中的证明技术
海外直订Proof Theory: The First Step Into Impredicativity 证明理论:进入不可预测性的第1步
海外直订Ordinal Analysis with an Introduction to Proof Theory 序数分析与证明理论简介
