关注微信公众号查券更方便
【预售】Computability and Models: Perspectives East and
【预售】Handbook of Computability Theory
ComputabilityandLogic
【预售】Computability of Julia Sets
【预售】Definability and Computability
【预售】Computability: Computable Functions, Logic, and the
【预售】Computability and Logic
【预售】Models and Computability
【预售】Combinatorics, Computability and Logic: Proceedings
【预售】Computability in Context: Computation and Logic in
预售 【中商原版】可计算性与数理逻辑 修订第5版英文原版 Computability and Logic 计算机科学 George S. Boolos,John P. Burge
【预订】Computability in Combinatory Spaces:...
【预售】Computability and Models: Perspectives
【预订】Martin Davis on Computability, Compu...
【预售】Provability, Computability and Reflection
【预售】Computability: An Introduction to Recursive Function
【预售】Computability, Enumerability, Unsolvability
【预售】Turing Computability: Theory and App...
【预订】Computability and Complexity: Essays...
【预售】Computability: A Mathematical Sketchbook
【预订】Algebraic Computability and Enumerat...
【预订】The Foundations of Computability Theory
【预售】Computability and Unsolvability
【预售】Bounded Queries in Computability Theory
【预订】Computability in Analysis and Physic...
【预售】Computability Theory
【预订】Evolving Computability
【预订】Computability Theory and Application...
【预售】Mathesis Universalis, Computability and Proof
【预售】Martin Davis on Computability, Compu...
【预订】Mathesis Universalis, Computability and Proof
【预订】Higher-Order Computability
【预订】Automata and Computability
【预订】Computability and Randomness
【预订】Computability
【预售】Automata and Computability
海外直订Structure and Randomness in Computability and Set Theory 可计算性、强迫性与描述集合论
海外直订Turing's Revolution: The Impact of His Ideas about Computability 图灵的革命:他的可计算性思想的影响
【预订】COMPUTABILITY, FORCING AND DESCRIPTIVE SET THEORY
海外直订Higher-Order Computability 高阶可计算性
【按需印刷】 A First Course in Logic:An Introduction to Model Theory, Proof Theory, Computability, and Complexity
【预订】Computability and Complexity in Analysis
预售 按需印刷 Automata and Computability
预订Computability, Enumerability, Unsolvability:Directions in Recursion Theory
海外直订Computing with Foresight and Industry: 15th Conference on Computability in Europ 具有远见和行业的计算:第15
现货 马丁 戴维斯 可计算性与不可解性 Computability and Unsolvability Martin Davis 英文原版【中商原版】
【预订】Handbook of Computability and Complexity in Analysis 9783030592363
按需印刷Computability in Analysis and Physics[9781107168442]
海外直订Computability: An Introduction to Recursive Function Theory 可计算性:递归函数理论导论
海外直订Computability in Combinatory Spaces: An Algebraic Generalization of Abstract Fir 组合空间中的可计算性:抽象
海外直订Mathematical Theory and Computational Practice: 5th Conference on Computability 数学理论与计算实践:第五届
按需印刷Automata and Computability:A Programmer's Perspective[9781138552425]
海外直订Turing Computability: Theory and Applications 图灵可计算性:理论与应用
预订Computability and Logic
海外直订Combinatorics, Computability and Logic: Proceedings of the Third International C 组合数学、可计算性和逻辑:
海外直订Pursuit of the Universal: 12th Conference on Computability in Europe, Cie 2016, 追求普适性:第12届欧洲可计
按需印刷Structure and Randomness in Computability and Set Theory[9789813228221]
海外直订Models of Computation: An Introduction to Computability Theory 计算模型:可计算性理论导论
海外直订An Early History of Recursive Functions and Computability from Godel to Turing 从哥德尔到图灵的递归函数和可计算
海外直订Martin Davis on Computability, Computational Logic, and Mathematical Foundations 马丁·戴维斯谈可计算性、计
海外直订Computability and Complexity: Essays Dedicated to Rodney G. Downey on the Occasi 可计算性与复杂性:罗德尼·G
海外直订Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, C 揭示动态和复杂性:第十三届
海外直订Models of Computation in Context: 7th Conference on Computability in Europe, Cie 上下文中的计算模型:第7届欧
预订Computability and Randomness
预订Computability:An Introduction to Recursive Function Theory
海外直订Theory of Recursive Functions and Effective Computability 递归函数理论与有效可计算性
[预订]Computability and Complexity 9780262048620
海外直订Computability, Enumerability, Unsolvability 可计算性、可枚举性、不可解性
海外直订Evolving Computability: 11th Conference on Computability in Europe, Cie 2015, Bu 演化的可计算性:第11届欧洲
[预订]Programs as Diagrams: From Categorical Computability to Computable Categories 9783031348266
海外直订Foundations of Computability Theory 可计算性理论基础
[预订]Computability and Randomness 9780199652600
预售 按需印刷 Theory of Recursive Functions and Effective Computability
海外直订Computability and Complexity in Analysis: 4th International Workshop, Cca 2000, 分析中的可计算性和复杂性:
海外直订Computability: A Mathematical Sketchbook 可计算性:数学画册
海外直订Computation and Logic in the Real World: Third Conference on Computability in Eu 真实世界中的计算和逻辑:第
海外直订Computability and Randomness 可计算性与随机性
海外直订Computability and Complexity 可计算性和复杂性
海外直订Programs as Diagrams: From Categorical Computability to Computable Categories 程序图:从范畴可计算到范畴可计
【预售 按需印刷】Computability in Context
可计算性和逻辑 英文原版 Computability and Logic 英文版 进口英语原版书籍
预售 按需印刷Computability
【4周达】Computability Theory: An Introduction to Recursion Theory [9780123849588]
【预售 按需印刷】Structure and Randomness in Computability and Set Theory
预售 按需印刷 TF Automata and Computability
海外直订Computability in Analysis and Physics 分析和物理中的可计算性
预售 按需印刷Studyguide for Discrete Structures Logic and Computability by Hein ISBN 9780763772062
【预售 按需印刷】Outlines & Highlights for Discrete Structures Logic and Computability by Hein
海外直订Mathesis Universalis, Computability and Proof 通用数学,可计算性和证明
【4周达】Computability and Randomness [9780199230761]
海外直订Computability of Julia Sets Julia集的可计算性
海外直订Automata and Computability: A Programmer's Perspective 自动机和可计算性:一个程序员的视角
【4周达】Computability and Complexity [9780262048620]