关注微信公众号查券更方便
Type Theory and Formal Proof 类型理论与形式证明
Basic Proof Theory: 9780521779111
证明论第二版Dover数学英文版
Proof Theory and Logic Programming Computation as Proof Search 证明论与逻辑式编程：以证明搜索为计算 9781009561297
Proof Theory: Second Edition证明论 第二版 Dover数学 英文原版
Proof Theory and Algebra in Logic 逻辑证明理论与代数 9789811379963
Proof Theory: Second Edition 证明论 第二版 Dover数学进口原版英文书籍
Basic Proof Theory 证明理论入门 剑桥理论计算机科学丛书系列进口原版英文书籍
现货 Proof Theory and Algebra in Logic
Type Theory and Formal Proof An Introduction 类型理论和正式的证明：导读 9781107036505
现货 Proof Theory and Logic Programming Computation as Proof Search 证明论与逻辑式编程：以证明搜索为计算 9781009561297
An Introduction to Proof Theory Normalization, Cut-Elimination, and Consistency Proofs 证明论导论：归一化、切割消去定理
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs 证明论导论：归一化、切割消去定
Basic Proof Theory 证明理论入门 剑桥理论计算机科学丛书系列
Ordinal Analysis with an Introduction to Proof Theory 序数分析与证明理论导论: 9789811564581
【预售】Proof Theory: A Selection of Papers from the Leeds
Ordinal Analysis with an Introduction to Proof Theory 序数分析与证明理论导论 9789811564581
英文原版 Basic Proof Theory 证明理论入门 剑桥理论计算机科学丛书系列 英文版 进口英语原版书籍
英文原版 An Introduction to Proof Theory 证明论导论 规范化 切割消除定理与一致性证明 英文版 进口英语原版书籍
预订 The Method of Socratic Proofs From the Logic of Questions to Proof Theory 苏格拉底证明方法：从问题逻辑到证明理论 97
英文原版 Proof Theory: Second Edition 证明论 第二版 Dover数学 英文版 进口英语原版书籍
Basic Proof Theory 基本证明论 9780521779111
An Introduction to Proof Theory 证明论导论 规范化、切割消除定理与一致性证明
【3-4周达】Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Castle, German... [9783540427520]
预订 Proof Theory: Second Edition (Second Edition) [9780486490731]
【预售】Proof Theory: Sequent Calculi and Related Formali
【3-4周达】Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990 [9780521054164]
预订 精装 Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Tec... [9789811268533]
海外直订A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computab 逻辑学：模型理论、证明理论
按需印刷不退不换Proof Theory of N4-Paraconsistent Logics[9781848901674]
【3-4周达】ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Bir... [9783540075332]
预订 精装 PROOF AND COMPUTATION II: FROM PROOF THEORY AND UNIVALENT MATHEMATICS TO PROGRAM EXTRACTION... [9789811236471]
【3-4周达】精装 Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990 [9780521414135]
【3-4周达】Proof Theory : History and Philosophical Significance [9789048155538]
【3-4周达】Proof Theory: Sequent Calculi and Related Formalisms [9781032920771]
【3-4周达】Applied Proof Theory: Proof Interpretations and their Use in Mathematics [9783642096273]
【3-4周达】精装 Proof Theory and Logic Programming: Computation as Proof Search [9781009561297]
【3-4周达】Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria... [9783540633853]
【3-4周达】Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech R... [9783540571841]
按需印刷不退不换 A First Course in Logic:An Introduction to Model Theory, Proof Theory, Computability, and Complexity
【3-4周达】Truth, Proof and Infinity : A Theory of Constructive Reasoning [9789048151059]
【3-4周达】Proof Theory of N4-Paraconsistent Logics [9781848901674]
【3-4周达】Model Theory and Algebraic Geometry : An introduction to E. Hrushovski's proof of the geom... [9783540648635]
【预售】Arithmetic, Proof Theory, and Computational
【3-4周达】Proof Theory and Intuitionistic Systems [9783540055419]
【3-4周达】A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and... [9780198529811]
【3-4周达】Proof Theory and Automated Deduction [9781402003684]
【3-4周达】Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic [9781848902671]
【3-4周达】Logic Programming: Operational Semantics and Proof Theory - Logic Programming: Operational... [9780521607544]
【3-4周达】精装 Proof Theory : History and Philosophical Significance [9780792365440]
【3-4周达】Advances in Proof Theory (Softcover reprint of the original 1st ed. 2016) [9783319805139]
【3-4周达】The Method of Socratic Proofs: From the Logic of Questions to Proof Theory [9783031824531]
【3-4周达】A General Theory of Evidence and Proof: Forming Beliefs in Truth [9783031665547]
【3-4周达】Proof Theory and Algebra in Logic [9789811379963]
【3-4周达】精装 Applied Proof Theory: Proof Interpretations and their Use in Mathematics [9783540775324]
【3-4周达】精装 An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs [9780192895936]
【3-4周达】精装 'Heart of the God' with 'Grand Proof Equation'-A Classical Approach to Quantum Theory [9780557089956]
【3-4周达】What Logics Mean: From Proof Theory to Model-Theoretic Semantics [9781107611962]
【3-4周达】精装 Systems Theory: Perspectives, Applications and Developments EDITOR TO SEE FINAL PROOF [9781631178665]
【3-4周达】An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof (Second Edi... [9789048160792]
【3-4周达】A Proof Theory for General Unification [9781461267584]
【3-4周达】A Proof Theory for Description Logics [9781447140016]
【3-4周达】精装 Self-Determination Theory: A Family Perspective *Editor to see the final proof [9781634855020]
【3-4周达】The Semantics and Proof Theory of the Logic of Bunched Implications [9789048160723]
【3-4周达】Understanding Dijkstra's Algorithm: Theory, Proof, Implementation and Shortest-Path Engine... [9798235093935]
预订 First Year Students' Difficulties in Proof Construction in Set Theory [9786139975532]
【预售】Reductive Logic and Proof-Search: Proof Theory
【3-4周达】精装 Controlling Supply Chains: Theory and Practice *Author to see the final proof [9781634850711]
【3-4周达】Proof Theory for Fuzzy Logics [9789048181216]
【3-4周达】Resolution Proof Systems: An Algebraic Theory [9789401072519]
【3-4周达】Proof Theory: An Introduction [9783540518426]
【3-4周达】精装 Truth, Proof and Infinity : A Theory of Constructive Reasoning [9780792352624]
现货 证明理论导论 An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Pr... [9780192895943]
证明理论入门 英文原版 Basic Proof Theory 剑桥理论计算机科学丛书系列 英文版 进口英语原版书籍
【3-4周达】Proof Theory of Modal Logic [9789048147205]
【3-4周达】Factors and Factorizations of Graphs : Proof Techniques in Factor Theory [9783642219184]
【3-4周达】The Scientific Proof of God: Unified Field Theory Revealed [9781944335670]
【3-4周达】Arnon Avron on Semantics and Proof Theory of Non-Classical Logics [9783030712600]
【3-4周达】精装 The Method of Socratic Proofs : From the Logic of Questions to Proof Theory [9783031824500]
【3-4周达】精装 A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability... [9780198529804]
【3-4周达】精装 Reductive Logic and Proof-search: Proof Theory, Semantics, and Control [9780198526339]
【3-4周达】精装 A General Theory of Evidence and Proof: Forming Beliefs in Truth [9783031665516]
【3-4周达】精装 Type Theory and Formal Proof: An Introduction [9781107036505]
【3-4周达】精装 Arithmetic, Proof Theory, and Computational Complexity [9780198536901]
【3-4周达】精装 What Logics Mean: From Proof Theory to Model-Theoretic Semantics [9781107039100]
预订 高被引Type Theory and Formal Proof 9781107036505
【3-4周达】Basic Proof Theory: - Basic Proof Theory [9780521779111]
【3-4周达】精装 An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof (Secon... [9781402007637]
