关注微信公众号查券更方便
现货 Hilbert's Proof Theory and its modern Development 希尔伯特证明理论及其现代发展【中商原版】【中商原版】
【3-4周达】Telepathy Its Theory, Facts and Proof [9789369421329]
证明论第二版Dover数学英文版
英文原版 Proof Theory: Second Edition 证明论 第二版 Dover数学 英文版 进口英语原版书籍
【3-4周达】The Long Tail Theory for Business: Find your niche and future-proof your business [9782806270030]
Proof Theory: Second Edition 证明论 第二版 Dover数学进口原版英文书籍
Proof Theory: Second Edition证明论 第二版 Dover数学 英文原版
【3-4周达】Proof Theory: Second Edition (Second Edition) [9780486490731]
按需印刷Proof Theory of N4-Paraconsistent Logics[9781848901674]
【3-4周达】Proof Theory of N4-Paraconsistent Logics [9781848901674]
海外直订Telepathy: Its Theory, Facts, and Proof 心灵感应：理论、事实和证据
预订 Theory Of Parallels: The Proof Of Euclid’s Axiom Looked For In The Properties Of The Equiangular Spiral: 978054831
现货 证明理论导论 An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Pr... [9780192895943]
预订 Proof Theory of N4-Paraconsistent Logics: 9781848901674
海外直订Proof Theory of N4-Paraconsistent Logics N4准一致逻辑的证明理论
英文原版 An Introduction to Proof Theory 证明论导论 规范化 切割消除定理与一致性证明 英文版 进口英语原版书籍
An Introduction to Proof Theory 证明论导论 规范化、切割消除定理与一致性证明
【3-4周达】Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic [9781848902671]
【3-4周达】The Scientific Proof of God: Unified Field Theory Revealed [9781944335670]
海外直订Mathematical Proof Theory 数学证明理论
【3-4周达】What Logics Mean: From Proof Theory to Model-Theoretic Semantics [9781107611962]
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs 证明论导论：归一化、切割消去定
【3-4周达】ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Bir... [9783540075332]
现货 Proof Theory and Algebra in Logic
海外直订Proof Theory and Algebra in Logic 证明理论与逻辑代数“，
【3-4周达】Proof Theory and Algebra in Logic [9789811379963]
【预售】Proof Theory: A Selection of Papers from the Leeds
【3-4周达】Proof Theory and Intuitionistic Systems [9783540055419]
【3-4周达】Logic Programming: Operational Semantics and Proof Theory - Logic Programming: Operational... [9780521607544]
海外直订Logic Programming: Operational Semantics and Proof Theory 逻辑程序设计：操作语义学与证明理论
海外直订Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990 证明理论：利兹证明理论课程1990
【3-4周达】Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990 [9780521054164]
海外直订Proof Theory and Automated Deduction 证明理论与自动推理
【预售】A Proof Theory for General Unification
【预售】Proof Theory and Automated Deduction
【预售】A Proof Theory for Description Logics
【预订】A Model–Theoretic Approach to Proof Theory
【预订】Proof Theory in Computer Science
【预订】Computational Logic and Proof Theory
预订 A Model–Theoretic Approach to Proof Theory
海外直订A Proof Theory for General Unification 统一的证明理论
海外直订Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Cast 计算机科学证明理论:2001年
海外直订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, 计算逻辑与证明理论：第三库
【3-4周达】'Heart of the God' with 'Grand Proof Equation'-A Classical Approach to Quantum Theory [9780557089956]
【预售】Structural Proof Theory
【3-4周达】Structural Proof Theory [9780521068420]
【3-4周达】A Proof Theory for Description Logics [9781447140016]
预订 First Year Students' Difficulties in Proof Construction in Set Theory [9786139975532]
Basic Proof Theory 证明理论入门 剑桥理论计算机科学丛书系列
预订 ’heart of the God’ with ’grand Proof Equation’-A Classical Approach to Quantum Theory: 9780557089956
证明理论入门 英文原版 Basic Proof Theory 剑桥理论计算机科学丛书系列 英文版 进口英语原版书籍
英文原版 Basic Proof Theory 证明理论入门 剑桥理论计算机科学丛书系列 英文版 进口英语原版书籍
Basic Proof Theory 证明理论入门 剑桥理论计算机科学丛书系列进口原版英文书籍
Basic Proof Theory: 9780521779111
【3-4周达】A Proof Theory for General Unification [9780817635930]
【3-4周达】A Proof Theory for General Unification [9781461267584]
【3-4周达】A Model–Theoretic Approach to Proof Theory [9783030289232]
【3-4周达】A Model–Theoretic Approach to Proof Theory [9783030289201]
【3-4周达】Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Castle, German... [9783540427520]
【3-4周达】Proof Theory and Automated Deduction [9781402003684]
【3-4周达】Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech R... [9783540571841]
【3-4周达】Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria... [9783540633853]
海外直订Ordinal Analysis with an Introduction to Proof Theory 序数分析与证明理论简介
海外直订Basic Proof Theory 基本证明理论
【3-4周达】Basic Proof Theory: - Basic Proof Theory [9780521779111]
【3-4周达】Model Theory and Algebraic Geometry : An introduction to E. Hrushovski's proof of the geom... [9783540648635]
【预订】Ordinal Analysis with an Introduction to Proof Theory 9789811564611
【3-4周达】Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Te... [9789811268533]
海外直订Factors and Factorizations of Graphs: Proof Techniques in Factor Theory 图的因子与因子分解：因子论中的证明技术
海外直订Proof Theory: The First Step Into Impredicativity 证明理论:进入不可预测性的第1步
Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装
【预售】Proof Theory: An Introduction
类型论和形式证明 英文原版 Type Theory and Formal Proof Rob Nederpelt 精装 英文版 进口英语原版书籍
英文原版 Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装 英文版 进口英语原版书籍
【3-4周达】Ordinal Analysis with an Introduction to Proof Theory [9789811564611]
【3-4周达】Factors and Factorizations of Graphs : Proof Techniques in Factor Theory [9783642219184]
海外直订Type Theory and Formal Proof: An Introduction 类型论与形式证明
预订 高被引Type Theory and Formal Proof 9781107036505
【3-4周达】Proof Theory: An Introduction [9783540518426]
【3-4周达】Proof Theory: Sequent Calculi and Related Formalisms [9781032920771]
Type Theory and Formal Proof 类型理论与形式证明
![【3-4周达】Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech R... [9783540571841]](/Public/skin2/static/tqkpc/images/grey.gif)
