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