关注微信公众号查券更方便
英文原版 Computability and Unsolvability 马丁 戴维斯 可计算性与不可解性 英文版 进口英语原版书籍
预订 Computability and Complexity
预订 Programs as Diagrams: From Categorical Computability to Computable Categories 图表程序：从范畴可计算性到可计算范畴:
可计算性和逻辑 英文原版 Computability and Logic 英文版 进口英语原版书籍
Computability and Unsolvability 马丁 戴维斯 可计算性与不可解性
ComputabilityandLogic
英文原版 Computability and Logic 可计算性和逻辑 英文版 进口英语原版书籍
Computability and Logic 可计算性和逻辑 George S. Boolos进口原版英文书籍
【预订】Computability Theory
按需印刷不退不换Computability in Analysis and Physics[9781107168442]
[预订]Programs as Diagrams: From Categorical Computability to Computable Categories 9783031348266
预订 Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in
英文原版Computability and Unsolvability 马丁 戴维斯 可计算性与不可解性进口书籍
马丁 英文原版 Computability and Unsolvability 戴维斯 可计算性与不可解性 英文版 进口英语原版书籍
Foundations of Logic Completeness, Incompleteness, Computability 逻辑基础：完备性、不完备性、可计算性 9781684000005
按需印刷不退不换Automata and Computability:A Programmer's Perspective[9781138552425]
按需印刷不退不换Structure and Randomness in Computability and Set Theory[9789813228221]
Computability and Logic 可算性与逻辑 9780521701464
【预订】Computability and Complexity: Essays...
【预订】Evolving Computability
【预订】Beyond the Horizon of Computability
【预订】Connecting with Computability 9783030800482
按需印刷不退不换Infinity, Computability and Metamathematics[9781848901308]
按需印刷不退不换Computability in Context[9781848162457]
【预售】Theories of Computability
按需印刷不退不换 A First Course in Logic:An Introduction to Model Theory, Proof Theory, Computability, and Complexity
按需印刷不退不换Computability:Computable Functions, Logic, and the Foundations of Mathematics[9780981550725]
【预订】Automata and Computability
【预售】Turing Computability: Theory and App...
【预订】The Foundations of Computability Theory
[预订]Computability 9783030832049
[预订]The Foundations of Computability Theory 9783662624234
【预售】Computability: An Introduction to Recursive Function
【预订】Handbook of Computability and Complexity in Analysis 9783030592332
【预售 按需印刷】递归函数理论与有效可计算性 Theory of Recursive Functions and Effective Computability 进口英文正版书籍
【预订】Handbook of Computability and Complexity in Analysis 9783030592363
[预订]Computability and Randomness 9780199652600
The Annotated Turing A Guided Tour Through Alan Turing’S Historic Paper On Computability and the Turing Machine 图灵注
【预售】Computability, Enumerability, Unsolvability
【预售】Automata and Computability
【预订】Computability Theory and Application...
【预售】Models and Computability
Milliken’S Tree Theorem And Its Applications: A Computability-Theoretic Perspective 米利肯树定理及其应用：可计算性理论
【预订】Computability 9783030832018
预订 Computability and Unsolvability 可计算性与不可解性 9780486614717
【预订】Computability in Analysis and Physic...
Computability and Logic 可计算性和逻辑 George S. Boolos
海外直订Computability 可计算性
海外直订Computability of Julia Sets Julia集的可计算性
海外直订Computing with Foresight and Industry: 15th Conference on Computability in Europ 具有远见和行业的计算：第15
海外直订Computability and Complexity: Essays Dedicated to Rodney G. Downey on the Occasi 可计算性与复杂性：罗德尼·G
海外直订Computability in Combinatory Spaces: An Algebraic Generalization of Abstract Fir 组合空间中的可计算性：抽象
海外直订Pursuit of the Universal: 12th Conference on Computability in Europe, Cie 2016, 追求普适性：第12届欧洲可计
海外直订Models of Computation in Context: 7th Conference on Computability in Europe, Cie 上下文中的计算模型:第7届欧
海外直订Evolving Computability: 11th Conference on Computability in Europe, Cie 2015, Bu 演化的可计算性：第11届欧洲
海外直订Computability and Complexity in Analysis: 4th International Workshop, Cca 2000, 分析中的可计算性和复杂性：
海外直订Mathematical Theory and Computational Practice: 5th Conference on Computability 数学理论与计算实践：第五届
海外直订Sailing Routes in the World of Computation: 14th Conference on Computability in 计算世界中的航路:第十四届
海外直订Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, C 揭示动态和复杂性:第十三届
海外直订Reflexive Structures: An Introduction to Computability Theory 反身结构：可计算性理论导论
海外直订Computability and Decidability: An Introduction for Students of Computer Science 可计算性和可判定性：计算机
【预订】Higher-Order Computability
海外直订Computability: Computable Functions, Logic, and the Foundations of Mathematics 可计算性：可计算函数、逻辑和
海外直订Automata and Computability: A Programmer's Perspective 自动机和可计算性:一个程序员的视角
海外直订Automata and Computability 自动机和可计算性
海外直订Theories of Computability 可计算性理论
海外直订Turing Computability: Theory and Applications 图灵可计算性：理论与应用
海外直订Revolutions and Revelations in Computability: 18th Conference on Computability i 可计算性的革命和启示:第18届
海外直订Computability and Complexity: Foundations and Tools for Pursuing Scientific Appl Computabil
海外直订Computability and Complexity Theory 可计算性与复杂性理论
【预订】Computability and Randomness
Theory of Recursive Functions and Effective Computability企鹅兰登 英文原版
Theory of Recursive Functions and Effective Computability 企鹅兰登
海外直订Computability, Enumerability, Unsolvability 可计算性、可枚举性、不可解性
海外直订Computability: A Mathematical Sketchbook 可计算性：数学速写本
海外直订Computability: A Mathematical Sketchbook 可计算性：数学画册
海外直订The Foundations of Computability Theory 可计算理论的基础
海外直订Martin Davis on Computability, Computational Logic, and Mathematical Foundations 马丁·戴维斯谈可计算性、计
海外直订Programs as Diagrams: From Categorical Computability to Computable Categories 程序图:从范畴可计算到范畴可计
海外直订Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive 代数可计算性和枚举模型:递
海外直订Computability Theory 可计算性理论
海外直订Computability: An Introduction to Recursive Function Theory 可计算性:递归函数理论导论
海外直订Computability, Complexity, and Languages: Fundamentals of Theoretical Computer S
海外直订Computability Theory and Foundations of Mathematics - Proceedings of the 9th Int 可计算理论与数学基础:第9届
海外直订Computability in Context: Computation and Logic in the Real World 语境中的可计算性：现实世界中的计算与逻辑
海外直订Computability in Analysis and Physics 分析和物理中的可计算性
海外直订Foundations of Computability Theory 可计算性理论基础
海外直订Higher-Order Computability 高阶可计算性
