关注微信公众号查券更方便
英文原版 An Introduction to Proof Theory 证明论导论 规范化 切割消除定理与一致性证明 英文版 进口英语原版书籍
Proof Theory and Algebra in Logic 逻辑证明理论与代数 9789811379963
Basic Proof Theory 证明理论入门 剑桥理论计算机科学丛书系列进口原版英文书籍
Type Theory and Formal Proof 类型理论与形式证明
Ordinal Analysis with an Introduction to Proof Theory 序数分析与证明理论导论: 9789811564581
Ordinal Analysis with an Introduction to Proof Theory 序数分析与证明理论导论 9789811564581
An Introduction to Proof Theory 证明论导论 规范化、切割消除定理与一致性证明
Basic 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: Normalization, Cut-Elimination, and Consistency Proofs 证明论导论：归一化、切割消去定
Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装
Type Theory and Formal Proof An Introduction 类型理论和正式的证明：导读 9781107036505
Proof Theory: Second Edition证明论 第二版 Dover数学 英文原版
英文原版 Basic Proof Theory 证明理论入门 剑桥理论计算机科学丛书系列 英文版 进口英语原版书籍
【预售】Proof Theory: A Selection of Papers from the Leeds
Basic Proof Theory 基本证明论 9780521779111
预订 Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990 [9780521054164]
英文原版 Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装 英文版 进口英语原版书籍
英文原版 Proof Theory: Second Edition 证明论 第二版 Dover数学 英文版 进口英语原版书籍
【3-4周达】Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Castle, German... [9783540427520]
海外直订Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and 时间逻辑:从哲学和证明理论
预订 Proof Theory: Second Edition (Second Edition) [9780486490731]
海外直订Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Cast 计算机科学证明理论:2001年
预订 精装 Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990 [9780521414135]
预订 精装 Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Tec... [9789811268533]
预订 精装 Proof Theory and Logic Programming: Computation as Proof Search [9781009561297]
Basic Proof Theory: 9780521779111
海外直订Proof Theory: History and Philosophical Significance 证明理论:历史与哲学意义
海外直订Proof Theory of N4-Paraconsistent Logics N4准一致逻辑的证明理论
现货 Proof Theory and Algebra in Logic
海外直订Proof Theory: Sequent Calculi and Related Formalisms 证明论：后继计算及相关形式
【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]
海外直订Proof Theory: The First Step Into Impredicativity 证明理论:进入不可预测性的第1步
预订 Logic Programming: Operational Semantics and Proof Theory - Logic Programming: Operational Seman... [9780521607544]
【3-4周达】Proof Theory : History and Philosophical Significance [9789048155538]
海外直订Applied Proof Theory: Proof Interpretations and Their Use in Mathematics 应用证明理论：证明解释及其在数学中
【3-4周达】Proof Theory: Sequent Calculi and Related Formalisms [9781032920771]
【预售】Proof Theory: Sequent Calculi and Related Formali
海外直订Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic 形式逻辑的探索：第二卷：谓词
证明理论入门 英文原版 Basic Proof Theory 剑桥理论计算机科学丛书系列 英文版 进口英语原版书籍
预订 What Logics Mean: From Proof Theory to Model-Theoretic Semantics [9781107611962]
海外直订Type Theory and Formal Proof: An Introduction 类型论与形式证明
海外直订Proof Theory and Automated Deduction 证明理论与自动推理
【3-4周达】Applied Proof Theory: Proof Interpretations and their Use in Mathematics [9783642096273]
【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]
海外直订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 分辨率证明系统：代数理论
【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]
海外直订A Proof Theory for General Unification 一般统一的证明理论
预订 Basic Proof Theory: - Basic Proof Theory [9780521779111]
预订 精装 Type Theory and Formal Proof: An Introduction [9781107036505]
【3-4周达】Proof Theory and Intuitionistic Systems [9783540055419]
海外直订An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof 数理逻辑与类型论导论：通过证
【3-4周达】Proof Theory of N4-Paraconsistent Logics [9781848901674]
海外直订Arithmetic, Proof Theory, and Computational Complexity 算术、证明理论与计算复杂性
海外直订Telepathy: Its Theory, Facts, and Proof 心灵感应：理论、事实和证据
海外直订Truth, Proof and Infinity: A Theory of Constructive Reasoning 真理，证明和无限:建构推理理论
【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周达】精装 Proof Theory : History and Philosophical Significance [9780792365440]
【3-4周达】Advances in Proof Theory (Softcover reprint of the original 1st ed. 2016) [9783319805139]
海外直订A Proof Theory for General Unification 统一的证明理论
【3-4周达】The Method of Socratic Proofs: From the Logic of Questions to Proof Theory [9783031824531]
海外直订Proof Theory for Fuzzy Logics 模糊逻辑的证明理论
【3-4周达】A General Theory of Evidence and Proof: Forming Beliefs in Truth [9783031665547]
海外直订Factors and Factorizations of Graphs: Proof Techniques in Factor Theory 图的因子与因子分解：因子论中的证明技术
【3-4周达】精装 An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs [9780192895936]
海外直订Arnon Avron on Semantics and Proof Theory of Non-Classical Logics 论非经典逻辑的语义学与证明理论
预订 精装 What Logics Mean: From Proof Theory to Model-Theoretic Semantics [9781107039100]
【3-4周达】精装 Applied Proof Theory: Proof Interpretations and their Use in Mathematics [9783540775324]
【3-4周达】精装 'Heart of the God' with 'Grand Proof Equation'-A Classical Approach to Quantum Theory [9780557089956]
【3-4周达】精装 Systems Theory: Perspectives, Applications and Developments EDITOR TO SEE FINAL PROOF [9781631178665]
【3-4周达】Proof Theory and Algebra in Logic [9789811379963]
【3-4周达】Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic [9781848902671]
【3-4周达】An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof (Second Edi... [9789048160792]
![【3-4周达】A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and... [9780198529811]](/Public/skin2/static/tqkpc/images/grey.gif)
