关注微信公众号查券更方便
Ordinal Analysis with an Introduction to Proof Theory 序数分析与证明理论导论: 9789811564581
An Introduction to Proof Theory 证明论导论 规范化、切割消除定理与一致性证明
预订 Proof Theory and Logic Programming Computation as Proof Search 证明论与逻辑式编程：以证明搜索为计算 9781009561297
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs 证明论导论：归一化、切割消去定
英文原版 An Introduction to Proof Theory 证明论导论 规范化 切割消除定理与一致性证明 英文版 进口英语原版书籍
英文原版 Basic Proof Theory 证明理论入门 剑桥理论计算机科学丛书系列 英文版 进口英语原版书籍
【预售】Proof Theory: A Selection of Papers from the Leeds
Type Theory and Formal Proof 类型理论与形式证明
Basic Proof Theory 证明理论入门 剑桥理论计算机科学丛书系列进口原版英文书籍
英文原版 Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装 英文版 进口英语原版书籍
Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装
Basic Proof Theory 证明理论入门 剑桥理论计算机科学丛书系列
海外直订Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and 时间逻辑:从哲学和证明理论
海外直订Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Cast 计算机科学证明理论:2001年
证明论第二版Dover数学英文版
Basic Proof Theory: 9780521779111
海外直订Proof Theory: History and Philosophical Significance 证明理论:历史与哲学意义
海外直订Proof Theory of N4-Paraconsistent Logics N4准一致逻辑的证明理论
【预售】Proof Theory: Sequent Calculi and Related Formali
现货 Proof Theory and Algebra in Logic
海外直订Proof Theory: Sequent Calculi and Related Formalisms 证明论：后继计算及相关形式
Proof Theory and Algebra in Logic 逻辑证明理论与代数 9789811379963
现货 Hilbert's Proof Theory and its modern Development 希尔伯特证明理论及其现代发展【中商原版】【中商原版】
海外直订Proof Theory: The First Step Into Impredicativity 证明理论:进入不可预测性的第1步
Type Theory and Formal Proof An Introduction 类型理论和正式的证明：导读 9781107036505
海外直订Applied Proof Theory: Proof Interpretations and Their Use in Mathematics 应用证明理论：证明解释及其在数学中
海外直订Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic 形式逻辑的探索：第二卷：谓词
证明理论入门 英文原版 Basic Proof Theory 剑桥理论计算机科学丛书系列 英文版 进口英语原版书籍
海外直订Type Theory and Formal Proof: An Introduction 类型论与形式证明
海外直订Proof Theory and Automated Deduction 证明理论与自动推理
海外直订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, 计算逻辑与证明理论：第三库
海外直订Proof Theory and Algebra in Logic 证明理论与逻辑代数“，
海外直订Resolution Proof Systems: An Algebraic Theory 分辨率证明系统：代数理论
海外直订A Proof Theory for General Unification 一般统一的证明理论
预订 Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990 [9780521054164]
An Introduction to Proof Theory Normalization, Cut-Elimination, and Consistency Proofs 证明论导论：归一化、切割消去定理
海外直订An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof 数理逻辑与类型论导论：通过证
海外直订Arithmetic, Proof Theory, and Computational Complexity 算术、证明理论与计算复杂性
海外直订Telepathy: Its Theory, Facts, and Proof 心灵感应：理论、事实和证据
海外直订Truth, Proof and Infinity: A Theory of Constructive Reasoning 真理，证明和无限:建构推理理论
海外直订A Proof Theory for General Unification 统一的证明理论
海外直订Proof Theory for Fuzzy Logics 模糊逻辑的证明理论
海外直订Factors and Factorizations of Graphs: Proof Techniques in Factor Theory 图的因子与因子分解：因子论中的证明技术
海外直订Arnon Avron on Semantics and Proof Theory of Non-Classical Logics 论非经典逻辑的语义学与证明理论
海外直订A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computab 逻辑学：模型理论、证明理论
【预售】Arithmetic, Proof Theory, and Computational
海外直订Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control 还原逻辑与证明搜索：证明理论、语义学
【3-4周达】Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Castle, German... [9783540427520]
海外直订Proof Theory of Modal Logic 模态逻辑的证明理论
海外直订Ordinal Analysis with an Introduction to Proof Theory 序数分析与证明理论简介
预订 Proof Theory: Second Edition (Second Edition) [9780486490731]
预订 精装 Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990 [9780521414135]
类型论和形式证明 英文原版 Type Theory and Formal Proof Rob Nederpelt 精装 英文版 进口英语原版书籍
Ordinal Analysis with an Introduction to Proof Theory 序数分析与证明理论导论 9789811564581
海外直订Proof and Computation II: From Proof Theory and Univalent Mathematics to Program
海外直订Hybrid Logic and Its Proof-Theory 混合逻辑及其证明理论
预订 精装 Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Tec... [9789811268533]
海外直订Combinators, λ-Terms and Proof Theory 组合器λ-术语与证明理论
预订 精装 Proof Theory and Logic Programming: Computation as Proof Search [9781009561297]
Basic Proof Theory 基本证明论 9780521779111
【3-4周达】ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Bir... [9783540075332]
预订 精装 Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction... [9789811236471]
预订 Logic Programming: Operational Semantics and Proof Theory - Logic Programming: Operational Seman... [9780521607544]
【3-4周达】Proof Theory : History and Philosophical Significance [9789048155538]
海外直订Goal-Directed Proof Theory 目标导向证明理论
【3-4周达】Proof Theory: Sequent Calculi and Related Formalisms [9781032920771]
预订 What Logics Mean: From Proof Theory to Model-Theoretic Semantics [9781107611962]
【3-4周达】Applied Proof Theory: Proof Interpretations and their Use in Mathematics [9783642096273]
按需印刷不退不换Proof Theory of N4-Paraconsistent Logics[9781848901674]
【3-4周达】Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria... [9783540633853]
【3-4周达】Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech R... [9783540571841]
【3-4周达】Truth, Proof and Infinity : A Theory of Constructive Reasoning [9789048151059]
【3-4周达】Model Theory and Algebraic Geometry : An introduction to E. Hrushovski's proof of the geom... [9783540648635]
【3-4周达】Proof Theory of N4-Paraconsistent Logics [9781848901674]
预订 Basic Proof Theory: - Basic Proof Theory [9780521779111]
【3-4周达】Proof Theory and Intuitionistic Systems [9783540055419]
预订 精装 Type Theory and Formal Proof: An Introduction [9781107036505]
![【3-4周达】Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria... [9783540633853]](/Public/skin2/static/tqkpc/images/grey.gif)
