关注微信公众号查券更方便
【按需印刷】 A First Course in Logic:An Introduction to Model Theory, Proof Theory, Computability, and Complexity
按需印刷Proof Theory of N4-Paraconsistent Logics[9781848901674]
预订Ordinal Analysis with an Introduction to Proof Theory[9789811564581]
预订 高被引Type Theory and Formal Proof 9781107036505
【预售】Proof Theory: A Selection of Papers from the Leeds
【预售】Structural Proof Theory
【预售】Proof Theory of Modal Logic
【预售】Truth, Proof and Infinity: A Theory of Constructive
【预售】A Proof Theory for General Unification
【预售】Proof Theory and Automated Deduction
【预售】Proof Theory: An Introduction
【预售】Arithmetic, Proof Theory, and Computational
【预售】Applied Proof Theory: Proof Interpretations and
【预售】The Semantics and Proof Theory of the Logic of
【预售】Handbook of Proof Theory
【预售】Resolution Proof Systems: An Algebraic Theory
【预售】Goal-Directed Proof Theory
【预售】Reductive Logic and Proof-Search: Proof Theory
【预售】Proof Theory for Fuzzy Logics
【预售】A Proof Theory for Description Logics
【预售】Combinators, ?-Terms and Proof Theory
【预售】Proof Theory: Sequent Calculi and Related Formali
【预售】Advances in Proof Theory (Softcover ...
【预售】Abstract Sequent Axiomatizations of Finitary Universal Horn Theories: Abstract Proof Theory Versus General...
现货 Proof Theory and Algebra in Logic
Type Theory and Formal Proof 类型理论与形式证明
【预订】A Model–Theoretic Approach to Proof Theory
【预订】Advances in Proof Theory
【预订】Applied Proof Theory: Proof Interpretations and their Use in Mathematics
【预订】Proof Theory in Computer Science
【预订】Computational Logic and Proof Theory
【预订】Proof Theory
海外直订Resolution Proof Systems: An Algebraic Theory 分辨率证明系统：代数理论
海外直订Applied Proof Theory: Proof Interpretations and Their Use in Mathematics 应用证明理论：证明解释及其在数学中
海外直订Type Theory and Formal Proof: An Introduction 类型论与形式证明
海外直订A Proof Theory for General Unification 统一的证明理论
海外直订A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computab 逻辑学：模型理论、证明理论
海外直订Proof Theory for Fuzzy Logics 模糊逻辑的证明理论
海外直订Goal-Directed Proof Theory 目标导向证明理论
海外直订Advances in Proof Theory 证明理论的进展
【预订】An Introduction to Proof Theory 9780192895936
海外直订Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Cast 计算机科学证明理论:2001年
Proof Theory: Second Edition 证明论 第二版 Dover数学进口原版英文书籍
Proof Theory: Second Edition证明论 第二版 Dover数学 英文原版
证明论第二版Dover数学英文版
英文原版 Proof Theory: Second Edition 证明论 第二版 Dover数学 英文版 进口英语原版书籍
海外直订Logic Programming: Operational Semantics and Proof Theory 逻辑程序设计：操作语义学与证明理论
【预订】Arnon Avron on Semantics and Proof Theory of Non-Classical Logics 9783030712600
【预订】Ordinal Analysis with an Introduction to Proof Theory 9789811564611
【预订】Arnon Avron on Semantics and Proof Theory of Non-Classical Logics 9783030712570
海外直订Arithmetic, Proof Theory, and Computational Complexity 算术、证明理论与计算复杂性
海外直订Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990 证明理论：利兹证明理论课程1990
海外直订Basic Proof Theory 基本证明理论
现货 Hilbert's Proof Theory and its modern Development 希尔伯特证明理论及其现代发展【中商原版】【中商原版】
海外直订Factors and Factorizations of Graphs: Proof Techniques in Factor Theory 图的因子与因子分解：因子论中的证明技术
海外直订Proof Theory: The First Step Into Impredicativity 证明理论:进入不可预测性的第1步
海外直订A Proof Theory for General Unification 一般统一的证明理论
海外直订Proof Theory of Modal Logic 模态逻辑的证明理论
海外直订Proof Theory: History and Philosophical Significance 证明理论:历史与哲学意义
海外直订Hybrid Logic and Its Proof-Theory 混合逻辑及其证明理论
海外直订Truth, Proof and Infinity: A Theory of Constructive Reasoning 真理，证明和无限:建构推理理论
海外直订Proof Theory 证据理论
海外直订Combinators, λ-Terms and Proof Theory 组合器λ-术语与证明理论
海外直订Ordinal Analysis with an Introduction to Proof Theory 序数分析与证明理论简介
海外直订Proof Theory and Algebra in Logic 证明理论与逻辑代数“，
海外直订Arnon Avron on Semantics and Proof Theory of Non-Classical Logics 论非经典逻辑的语义学与证明理论
海外直订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, 计算逻辑与证明理论：第三库
[预订]Beyond Octonion Cosmology II: Origin of the Quantum; A New Generalized Field Theory (GiFT); A Proof 9781737264071
海外直订Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990 证明理论：利兹证明理论课程19
海外直订Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control 还原逻辑与证明搜索：证明理论、语义学
证明理论入门 英文原版 Basic Proof Theory 剑桥理论计算机科学丛书系列 英文版 进口英语原版书籍
类型论和形式证明 英文原版 Type Theory and Formal Proof Rob Nederpelt 精装 英文版 进口英语原版书籍
Basic Proof Theory 证明理论入门 剑桥理论计算机科学丛书系列
英文原版 Basic Proof Theory 证明理论入门 剑桥理论计算机科学丛书系列 英文版 进口英语原版书籍
Basic Proof Theory 证明理论入门 剑桥理论计算机科学丛书系列进口原版英文书籍
Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装
英文原版 Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装 英文版 进口英语原版书籍
