关注微信公众号查券更方便
【预售】Definability and Computability
【预订】Algebraic Computability and Enumerat...
预售 按需印刷 Automata and Computability
按需印刷不退不换 A First Course in Logic:An Introduction to Model Theory, Proof Theory, Computability, and Complexity
按需印刷不退不换Computability in Context[9781848162457]
按需印刷不退不换Structure and Randomness in Computability and Set Theory[9789813228221]
按需印刷不退不换Automata and Computability:A Programmer's Perspective[9781138552425]
按需印刷不退不换Computability in Analysis and Physics[9781107168442]
【预订】Computability and Randomness
【预订】Higher-Order Computability
【预售】Handbook of Computability Theory
预订 What the Fuck is Computability?: 9781779661609
【预售】Computability in Context: Computation and Logic in
【预订】Ordinal Computability 9783110495621
【预订】Martin Davis on Computability, Compu...
【预订】Computability in Analysis and Physic...
【预售】Theories of Computability
【预订】COMPUTABILITY, FORCING AND DESCRIPTIVE SET THEORY
【预订】Computability Theory
海外直订Handbook of Computability Theory 可计算性理论手册
[预订]Computability Theory and Its Applications 9780821819227
【预售】Mathesis Universalis, Computability and Proof
【预订】Mathesis Universalis, Computability and Proof
【预订】Algebraic Computability and Enumeration Models: Recursion Theory and 9781774635759
【预售】Computability and Logic
【预售】Automata and Computability
海外直订Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive 代数可计算性和枚举模型：递
【预订】Computability Theory and Foundations of Mathematics 9789811259289
海外直订Higher-Order Computability 高阶可计算性
【预售】Combinatorics, Computability and Logic: Proceedings
【预售】Bounded Queries in Computability Theory
【预售】Martin Davis on Computability, Compu...
【预订】Handbook of Computability and Complexity in Analysis 9783030592332
海外直订Computability Theory 可计算性理论
海外直订Computability in Context: Computation and Logic in the Real World 语境中的可计算性：现实世界中的计算与逻辑
海外直订Computability, Forcing and Descriptive Set Theory 可计算性、强迫性与描述集合论
海外直订Computability and Logic 数理逻辑附练习题
海外直订Martin Davis on Computability, Computational Logic, and Mathematical Foundations 马丁·戴维斯谈可计算性、计
海外直订Mathesis Universalis, Computability and Proof 通用数学，可计算性和证明
海外直订Turing's Revolution: The Impact of His Ideas about Computability 图灵的革命：他的可计算性思想的影响
按需印刷不退不换Computability:Computable Functions, Logic, and the Foundations of Mathematics[9780981550725]
海外直订Computability in Analysis and Physics 分析和物理中的可计算性
海外直订Automata and Computability: A Programmer's Perspective 自动机和可计算性:一个程序员的视角
Theory of Recursive Functions and Effective Computability 企鹅兰登
海外直订Computability in Combinatory Spaces: An Algebraic Generalization of Abstract Fir 组合空间中的可计算性:抽象
海外直订Combinatorics, Computability and Logic: Proceedings of the Third International C 组合数学、可计算性和逻辑：
海外直订Computation and Logic in the Real World: Third Conference on Computability in Eu 真实世界中的计算和逻辑：第
海外直订New Computational Paradigms: First Conference on Computability in Europe, Cie 20 新计算范式：第一届欧洲可计
海外直订Logical Approaches to Computational Barriers: Second Conference on Computability 计算障碍的逻辑方法:第二届
海外直订Computability Theory and Foundations of Mathematics - Proceedings of the 9th Int 可计算理论与数学基础:第9届
海外直订Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive 代数可计算性和枚举模型:递
海外直订Computability, Complexity, and Languages: Fundamentals of Theoretical Computer S
海外直订Computability 可计算性
海外直订Foundations of Computability Theory 可计算性理论基础
海外直订Programs as Diagrams: From Categorical Computability to Computable Categories 程序图:从范畴可计算到范畴可计
海外直订Logic and Theory of Algorithms: 4th Conference on Computability in Europe, Cie 2 逻辑与算法理论:第四届欧洲
海外直订Computability and Complexity Theory 可计算性与复杂性理论
【预订】The Foundations of Computability Theory
【预订】Computability 9783030832018
[预订]Programs as Diagrams: From Categorical Computability to Computable Categories 9783031348266
【预售】Computability and Complexity Theory
Milliken’S Tree Theorem And Its Applications: A Computability-Theoretic Perspective 米利肯树定理及其应用：可计算性理论
【预售】Models and Computability
【预订】Computability Theory and Application...
【预售】Computability and Models: Perspectives East and
【预售】Computability and Models: Perspectives
【预售】Computability Theory
【预售 按需印刷】递归函数理论与有效可计算性 Theory of Recursive Functions and Effective Computability 进口英文正版书籍
【预售】Computability, Enumerability, Unsolvability
马丁 英文原版 Computability and Unsolvability 戴维斯 可计算性与不可解性 英文版 进口英语原版书籍
[预订]Computability and Randomness 9780199652600
【预订】Computability
【预售】Provability, Computability and Reflection
【预售】Computability, Complexity, and Languages:
【预订】Handbook of Computability and Complexity in Analysis 9783030592363
预订 Computability A Mathematical Sketchbook 9781461269250
【预售】Computability: An Introduction to Recursive Function
海外直订Turing Computability: Theory and Applications 图灵可计算性：理论与应用
[预订]Computability 9783030832049
[预订]The Foundations of Computability Theory 9783662624234
【预订】Revolutions and Revelations in Computability 9783031087394
【预售】Computability: A Mathematical Sketchbook
预订 Programs as Diagrams: From Categorical Computability to Computable Categories 图表程序：从范畴可计算性到可计算范畴:
海外直订Theory of Recursive Functions and Effective Computability 递归函数理论与有效可计算性
海外直订Models and Computability 模型与可计算性
【预售】Turing Computability: Theory and App...
海外直订Computability: An Introduction to Recursive Function Theory 可计算性:递归函数理论导论
预订 Computability and Complexity
【预售】A Programming Approach to Computability
按需印刷不退不换Infinity, Computability and Metamathematics[9781848901308]
