关注微信公众号查券更方便
证明论第二版Dover数学英文版
英文原版 Basic Proof Theory 证明理论入门 剑桥理论计算机科学丛书系列 英文版 进口英语原版书籍
预订 Proof Theory of N4-Paraconsistent Logics: 9781848901674
英文原版 Proof Theory: Second Edition 证明论 第二版 Dover数学 英文版 进口英语原版书籍
An Introduction to Proof Theory 证明论导论 规范化、切割消除定理与一致性证明
英文原版 An Introduction to Proof Theory 证明论导论 规范化 切割消除定理与一致性证明 英文版 进口英语原版书籍
按需印刷Proof Theory of N4-Paraconsistent Logics[9781848901674]
Basic Proof Theory 证明理论入门 剑桥理论计算机科学丛书系列
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs 证明论导论：归一化、切割消去定
现货 Proof Theory and Algebra in Logic
【预售】Handbook of Proof Theory
Ordinal Analysis with an Introduction to Proof Theory 序数分析与证明理论导论: 9789811564581
【预售】Combinators, ?-Terms and Proof Theory
【预售】Goal-Directed Proof Theory
【预售】Advances in Proof Theory (Softcover ...
预订 Goal-Directed Proof Theory: 9789048155262
预订 Proof Theory
预订 Combinators, ?-Terms and Proof Theory: 9789401029155
【预订】Advances in Proof Theory
【预售】Proof Theory: A Selection of Papers from the Leeds
【预售】Reductive Logic and Proof-Search: Proof Theory
【预售】Applied Proof Theory: Proof Interpretations and
预订Ordinal Analysis with an Introduction to Proof Theory[9789811564581]
预订 Structural Proof Theory
【预订】A Model–Theoretic Approach to Proof Theory
【预订】Computational Logic and Proof Theory
【预售】A Proof Theory for General Unification
预订 A Model–Theoretic Approach to Proof Theory
【预售】Proof Theory and Automated Deduction
【预订】Proof Theory in Computer Science
【预售】A Proof Theory for Description Logics
【预售】Arithmetic, Proof Theory, and Computational
【预售】Structural Proof Theory
【预售】Proof Theory for Fuzzy Logics
【预售】Proof Theory: Sequent Calculi and Related Formali
【按需印刷】 A First Course in Logic:An Introduction to Model Theory, Proof Theory, Computability, and Complexity
【预订】Applied Proof Theory: Proof Interpretations and their Use in Mathematics
【预订】Proof Theory
Basic Proof Theory: 9780521779111
Proof Theory: Second Edition证明论 第二版 Dover数学 英文原版
Proof Theory: Second Edition 证明论 第二版 Dover数学进口原版英文书籍
【预订】An Introduction to Proof Theory 9780192895936
预订 Logic and Fixed-Domain Reasoning: Volume 1: An Empirico-Pragmatist Model Theory and Proof Theory 逻辑与固定域推理
Basic Proof Theory 证明理论入门 剑桥理论计算机科学丛书系列进口原版英文书籍
【预售】Proof Theory of Modal Logic
【预售】The Semantics and Proof Theory of the Logic of
【预售】Abstract Sequent Axiomatizations of Finitary Universal Horn Theories: Abstract Proof Theory Versus General...
【预订】Ordinal Analysis with an Introduction to Proof Theory 9789811564611
预订 Proof Theory and Logic Programming: Computation as Proof Search 证明论与逻辑式编程：以证明搜索为计算: 9781009561297
【预售】Proof Theory: An Introduction
海外直订Advances in Proof Theory 证明理论的进展
海外直订Proof Theory: History and Philosophical Significance 证明理论:历史与哲学意义
海外直订Goal-Directed Proof Theory 目标导向证明理论
海外直订Combinators, λ-Terms and Proof Theory 组合器λ-术语与证明理论
海外直订Proof Theory 证据理论
海外直订Proof Theory of N4-Paraconsistent Logics N4准一致逻辑的证明理论
海外直订Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990 证明理论：利兹证明理论课程19
海外直订Proof and Computation II: From Proof Theory and Univalent Mathematics to Program
海外直订Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic 形式逻辑的探索：第二卷：谓词
海外直订Proof Theory for Fuzzy Logics 模糊逻辑的证明理论
海外直订A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computab 逻辑学：模型理论、证明理论
海外直订Applied Proof Theory: Proof Interpretations and Their Use in Mathematics 应用证明理论：证明解释及其在数学中
海外直订Arithmetic, Proof Theory, and Computational Complexity 算术、证明理论与计算复杂性
海外直订Proof Theory: Sequent Calculi and Related Formalisms 证明论：后继计算及相关形式
海外直订Mathematical Proof Theory 数学证明理论
海外直订Proof Theory of Modal Logic 模态逻辑的证明理论
海外直订Handbook of Proof Theory 证明理论手册
海外直订Proof Theory and Algebra in Logic 证明理论与逻辑代数“，
海外直订Ways of Proof Theory 证明理论的方法
海外直订Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control 还原逻辑与证明搜索：证明理论、语义学
海外直订Logic Programming: Operational Semantics and Proof Theory 逻辑程序设计：操作语义学与证明理论
海外直订Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990 证明理论：利兹证明理论课程1990
海外直订A Proof Theory for General Unification 统一的证明理论
海外直订Computational Logic and Proof Theory: 5th Kurt G?del Colloquium, Kgc'97, Vienna, 计算逻辑与证明理论：第五库
海外直订Computational Logic and Proof Theory: Third Kurt G?del Colloquium, Kgc'93, Brno, 计算逻辑与证明理论：第三库
海外直订A Proof Theory for General Unification 一般统一的证明理论
海外直订Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Cast 计算机科学证明理论:2001年
海外直订Proof Theory and Automated Deduction 证明理论与自动推理
