关注微信公众号查券更方便
证明论第二版Dover数学英文版
海外直订Applied Proof Theory: Proof Interpretations and Their Use in Mathematics 应用证明理论：证明解释及其在数学中
海外直订A Proof Theory for General Unification 统一的证明理论
海外直订Proof Theory of Modal Logic 模态逻辑的证明理论
【按需印刷】 A First Course in Logic:An Introduction to Model Theory, Proof Theory, Computability, and Complexity
海外直订Type Theory and Formal Proof: An Introduction 类型论与形式证明
海外直订Proof Theory: The First Step Into Impredicativity 证明理论:进入不可预测性的第1步
海外直订Factors and Factorizations of Graphs: Proof Techniques in Factor Theory 图的因子与因子分解：因子论中的证明技术
海外直订Advances in Proof Theory 证明理论的进展
海外直订Ordinal Analysis with an Introduction to Proof Theory 序数分析与证明理论简介
海外直订Proof Theory for Fuzzy Logics 模糊逻辑的证明理论
海外直订Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control 还原逻辑与证明搜索：证明理论、语义学
海外直订An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof 数理逻辑与类型论导论：通过证
海外直订Proof Theory and Algebra in Logic 证明理论与逻辑代数“，
海外直订Proof and Computation II: From Proof Theory and Univalent Mathematics to Program
海外直订Arnon Avron on Semantics and Proof Theory of Non-Classical Logics 论非经典逻辑的语义学与证明理论
海外直订Computational Logic and Proof Theory: 5th Kurt G?del Colloquium, Kgc'97, Vienna, 计算逻辑与证明理论：第五库
【3-4周达】Proof Theory of Modal Logic [9780792341208]
【3-4周达】'Heart of the God' with 'Grand Proof Equation'-A Classical Approach to Quantum Theory [9780557089956]
【3-4周达】Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic [9781848902671]
【3-4周达】Proof Theory: Second Edition (Second Edition) [9780486490731]
【3-4周达】Introduction to Proof Through Number Theory [9781470470272]
【3-4周达】Structural Proof Theory [9780521068420]
【3-4周达】Mathematical Intuitionism: Introduction to Proof Theory [9780821845202]
【3-4周达】Discrete Mathematics Its Applications: Proof Theory: Sequent Calculi and Related Formalisms [9781466564664]
【3-4周达】Advances in Proof Theory (Softcover reprint of the original 1st ed. 2016) (Softcover repri... [9783319805139]
【3-4周达】A Proof Theory for General Unification [9781461267584]
【3-4周达】Proof Theory and Algebra in Logic [9789811379963]
【3-4周达】Factors and Factorizations of Graphs : Proof Techniques in Factor Theory [9783642219184]
【3-4周达】Applied Proof Theory: Proof Interpretations and their Use in Mathematics [9783642096273]
【3-4周达】Type Theory and Formal Proof: An Introduction [9781107036505]
【3-4周达】Proof Theory for Fuzzy Logics [9781402094088]
预订 First Year Students' Difficulties in Proof Construction in Set Theory [9786139975532]
【3-4周达】Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extractio... [9789811236471]
【3-4周达】Applied Proof Theory: Proof Interpretations and their Use in Mathematics [9783540775324]
英文原版 Proof Theory: Second Edition 证明论 第二版 Dover数学 英文版 进口英语原版书籍
海外直订Truth, Proof and Infinity: A Theory of Constructive Reasoning 真理，证明和无限:建构推理理论
海外直订Hybrid Logic and Its Proof-Theory 混合逻辑及其证明理论
【3-4周达】Proof Theory for Fuzzy Logics [9789048181216]
【3-4周达】Combinators, λ-Terms and Proof Theory [9789027703057]
【3-4周达】Proof Theory: An Introduction [9783540518426]
海外直订Goal-Directed Proof Theory 目标导向证明理论
【3-4周达】Model Theory and Algebraic Geometry : An introduction to E. Hrushovski's proof of the geom... [9783540648635]
【3-4周达】Arnon Avron on Semantics and Proof Theory of Non-Classical Logics [9783030712600]
【3-4周达】What Logics Mean: From Proof Theory to Model-Theoretic Semantics [9781107611962]
【3-4周达】A Model–Theoretic Approach to Proof Theory [9783030289201]
【3-4周达】Arnon Avron on Semantics and Proof Theory of Non-Classical Logics [9783030712570]
海外直订Proof Theory: History and Philosophical Significance 证明理论:历史与哲学意义
【3-4周达】Systems Theory: Perspectives, Applications and Developments EDITOR TO SEE FINAL PROOF [9781631178665]
【3-4周达】Ordinal Analysis with an Introduction to Proof Theory [9789811564611]
海外直订Combinators, λ-Terms and Proof Theory 组合器λ-术语与证明理论
【3-4周达】Goal-Directed Proof Theory [9789048155262]
【3-4周达】The Method of Socratic Proofs : From the Logic of Questions to Proof Theory [9783031824500]
【3-4周达】What Logics Mean: From Proof Theory to Model-Theoretic Semantics [9781107039100]
【3-4周达】Combinators, λ-Terms and Proof Theory [9789401029155]
英文原版 An Introduction to Proof Theory 证明论导论 规范化 切割消除定理与一致性证明 英文版 进口英语原版书籍
海外直订Proof Theory 证据理论
现货 证明理论导论 An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Pr... [9780192895943]
【3-4周达】Structural Proof Theory [9780521793070]
【3-4周达】Proof Theory : History and Philosophical Significance [9789048155538]
【3-4周达】Truth, Proof and Infinity : A Theory of Constructive Reasoning [9789048151059]
【3-4周达】Proof Theory : History and Philosophical Significance [9780792365440]
【3-4周达】Hybrid Logic and its Proof-Theory [9789400734357]
【3-4周达】Hybrid Logic and its Proof-Theory [9789400700017]
【3-4周达】A General Theory of Evidence and Proof: Forming Beliefs in Truth [9783031665516]
【3-4周达】Proof Theory of Modal Logic [9789048147205]
【3-4周达】Ordinal Analysis with an Introduction to Proof Theory [9789811564581]
【3-4周达】Some Quantitative Methods and Models in Economic Theory *Author to see the final proof [9781634849371]
【3-4周达】The Long Tail Theory for Business: Find your niche and future-proof your business [9782806270030]
【3-4周达】Controlling Supply Chains: Theory and Practice *Author to see the final proof [9781634850711]
海外直订Ways of Proof Theory 证明理论的方法
海外直订A Proof Theory for General Unification 一般统一的证明理论
预订Ordinal Analysis with an Introduction to Proof Theory[9789811564581]
英文原版 Basic Proof Theory 证明理论入门 剑桥理论计算机科学丛书系列 英文版 进口英语原版书籍
海外直订Basic Proof Theory 基本证明理论
海外直订Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Cast 计算机科学证明理论:2001年
海外直订Computational Logic and Proof Theory: Third Kurt G?del Colloquium, Kgc'93, Brno, 计算逻辑与证明理论：第三库
Basic Proof Theory 证明理论入门 剑桥理论计算机科学丛书系列
海外直订Arithmetic, Proof Theory, and Computational Complexity 算术、证明理论与计算复杂性
【3-4周达】A Model–Theoretic Approach to Proof Theory [9783030289232]
海外直订Proof Theory and Automated Deduction 证明理论与自动推理
海外直订Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and 时间逻辑:从哲学和证明理论
海外直订Proof Theory of N4-Paraconsistent Logics N4准一致逻辑的证明理论
【3-4周达】Resolution Proof Systems : An Algebraic Theory [9780792340171]
【3-4周达】Truth, Proof and Infinity : A Theory of Constructive Reasoning [9780792352624]
【3-4周达】Ways of Proof Theory [9783110324525]
【3-4周达】Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990 [9780521054164]
【3-4周达】Basic Proof Theory: - Basic Proof Theory [9780521779111]
【3-4周达】Proof Theory: Sequent Calculi and Related Formalisms [9781032920771]
【3-4周达】Proof Theory of N4-Paraconsistent Logics [9781848901674]
