关注微信公众号查券更方便
【预售】Reductive Logic and Proof-Search: Proof Theory
【预售】Handbook of Proof Theory
按需印刷不退不换 A First Course in Logic:An Introduction to Model Theory, Proof Theory, Computability, and Complexity
【预售】Truth, Proof and Infinity: A Theory of Constructive
【预售】Abstract Sequent Axiomatizations of Finitary Universal Horn Theories: Abstract Proof Theory Versus General...
【预订】Arnon Avron on Semantics and Proof Theory of Non-Classical Logics 9783030712570
【预售】Proof Theory: A Selection of Papers from the Leeds
【预售】Proof Theory: Sequent Calculi and Related Formali
【预售】Arithmetic, Proof Theory, and Computational
【预售】Proof Theory of Modal Logic
【预售】The Semantics and Proof Theory of the Logic of
【预售】Applied Proof Theory: Proof Interpretations and
【预订】Proof Theory
【预订】Applied Proof Theory: Proof Interpretations and their Use in Mathematics
【预售】Resolution Proof Systems: An Algebraic Theory
【预售】Combinators, ?-Terms and Proof Theory
【预售】Goal-Directed Proof Theory
【预售】Proof Theory for Fuzzy Logics
预订 Proof Theory of Modal Logic 9789048147205
预订 Logic and Fixed-Domain Reasoning: Volume 1: An Empirico-Pragmatist Model Theory and Proof Theory 逻辑与固定域推理
【预订】An Introduction to Proof Theory 9780192895936
【预订】Arnon Avron on Semantics and Proof Theory of Non-Classical Logics 9783030712600
海外直订Proof Theory of Modal Logic 模态逻辑的证明理论
海外直订Proof and Computation II: From Proof Theory and Univalent Mathematics to Program
预订 Structural Proof Theory
海外直订Proof Theory: Sequent Calculi and Related Formalisms 证明论：后继计算及相关形式
预订 Proof Theory
预订 Combinators, ?-Terms and Proof Theory: 9789401029155
海外直订Applied Proof Theory: Proof Interpretations and Their Use in Mathematics 应用证明理论：证明解释及其在数学中
海外直订Arnon Avron on Semantics and Proof Theory of Non-Classical Logics 论非经典逻辑的语义学与证明理论
Type Theory and Formal Proof 类型理论与形式证明
海外直订Truth, Proof and Infinity: A Theory of Constructive Reasoning 真理，证明和无限:建构推理理论
【预售】Advances in Proof Theory (Softcover ...
类型论和形式证明 英文原版 Type Theory and Formal Proof Rob Nederpelt 精装 英文版 进口英语原版书籍
【预售】Proof Theory: An Introduction
预订 ’heart of the God’ with ’grand Proof Equation’-A Classical Approach to Quantum Theory: 9780557089956
海外直订Proof Theory for Fuzzy Logics 模糊逻辑的证明理论
海外直订Ordinal Analysis with an Introduction to Proof Theory 序数分析与证明理论简介
海外直订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步
预订 Goal-Directed Proof Theory: 9789048155262
预订 Hybrid Logic and its Proof-Theory: 9789400734357
预订 Hybrid Logic and its Proof-Theory 混合逻辑及其证明-理论: 9789400700017
海外直订Advances in Proof Theory 证明理论的进展
海外直订A Proof Theory for General Unification 统一的证明理论
海外直订Computational Logic and Proof Theory: 5th Kurt G?del Colloquium, Kgc'97, Vienna, 计算逻辑与证明理论：第五库
【预售】Structural Proof Theory
【预售】A Proof Theory for General Unification
【预订】Computational Logic and Proof Theory
预订 高被引Type Theory and Formal Proof 9781107036505
海外直订Goal-Directed Proof Theory 目标导向证明理论
海外直订Proof Theory: History and Philosophical Significance 证明理论:历史与哲学意义
海外直订Hybrid Logic and Its Proof-Theory 混合逻辑及其证明理论
海外直订Combinators, λ-Terms and Proof Theory 组合器λ-术语与证明理论
海外直订Proof Theory 证据理论
现货 Proof Theory and Algebra in Logic
【预订】A Model–Theoretic Approach to Proof Theory
【3-4周达】Mathematical Intuitionism: Introduction to Proof Theory [9780821845202]
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs 证明论导论：归一化、切割消去定
证明论第二版Dover数学英文版
【3-4周达】Truth, Proof and Infinity : A Theory of Constructive Reasoning [9789048151059]
【3-4周达】精装 Proof Theory of Modal Logic [9780792341208]
英文原版 An Introduction to Proof Theory 证明论导论 规范化 切割消除定理与一致性证明 英文版 进口英语原版书籍
An Introduction to Proof Theory 证明论导论 规范化、切割消除定理与一致性证明
【3-4周达】精装 Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extr... [9789811236471]
【3-4周达】Applied Proof Theory: Proof Interpretations and their Use in Mathematics [9783540775324]
【3-4周达】Applied Proof Theory: Proof Interpretations and their Use in Mathematics [9783642096273]
【3-4周达】精装 Combinators, λ-Terms and Proof Theory [9789027703057]
【3-4周达】Proof Theory for Fuzzy Logics [9789048181216]
【3-4周达】精装 Arnon Avron on Semantics and Proof Theory of Non-Classical Logics [9783030712570]
【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周达】精装 An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs [9780192895936]
【3-4周达】精装 Type Theory and Formal Proof: An Introduction [9781107036505]
【3-4周达】Proof Theory of Modal Logic [9789048147205]
【3-4周达】Advances in Proof Theory (Softcover reprint of the original 1st ed. 2016) [9783319805139]
【3-4周达】精装 Structural Proof Theory [9780521793070]
【3-4周达】精装 Proof Theory : History and Philosophical Significance [9780792365440]
【3-4周达】Combinators, λ-Terms and Proof Theory [9789401029155]
【3-4周达】Proof Theory : History and Philosophical Significance [9789048155538]
英文原版 Proof Theory: Second Edition 证明论 第二版 Dover数学 英文版 进口英语原版书籍
【3-4周达】Proof Theory: An Introduction [9783540518426]
海外直订Proof Theory and Algebra in Logic 证明理论与逻辑代数“，
【3-4周达】精装 What Logics Mean: From Proof Theory to Model-Theoretic Semantics [9781107039100]
【3-4周达】Factors and Factorizations of Graphs : Proof Techniques in Factor Theory [9783642219184]
【3-4周达】Goal-Directed Proof Theory [9789048155262]
【3-4周达】Hybrid Logic and its Proof-Theory [9789400734357]
【3-4周达】精装 Hybrid Logic and its Proof-Theory [9789400700017]
海外直订Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic 形式逻辑的探索：第二卷：谓词
