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