关注微信公众号查券更方便
可计算性和逻辑 英文原版 Computability and Logic 英文版 进口英语原版书籍
【预订】Computability and Complexity: Essays...
【预订】The Foundations of Computability Theory
【预订】Evolving Computability
【预订】Computability Theory and Application...
【预售】Computability: An Introduction to Recursive Function
【预订】Higher-Order Computability
【预售】Models and Computability
【预售】Computability, Enumerability, Unsolvability
【预订】Computability in Analysis and Physic...
【预订】Automata and Computability
【预订】Computability and Randomness
【预售】Automata and Computability
ComputabilityandLogic
【预售】Turing Computability: Theory and App...
【预订】Handbook of Computability and Complexity in Analysis 9783030592363
[预订]Computability and Randomness 9780199652600
【预售 按需印刷】递归函数理论与有效可计算性 Theory of Recursive Functions and Effective Computability 进口英文正版书籍
[预订]Programs as Diagrams: From Categorical Computability to Computable Categories 9783031348266
预订 Computability and Unsolvability [9780486614717]
【3-4周达】精装 Algebraic Computability and Enumeration Models : Recursion Theory and Descriptive Com... [9781771882477]
【3-4周达】Foundations of Logic – Completeness, Incompleteness, Computability [9781684000005]
【3-4周达】Models of Computation : An Introduction to Computability Theory [9781848824331]
【3-4周达】Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Softcove... [9783319824437]
【3-4周达】精装 Computability of Julia Sets: - Computability of Julia Sets Preliminary Entry 23 [9783540685463]
【3-4周达】Computability in Combinatory Spaces : An Algebraic Generalization of Abstract First Order ... [9789401051651]
【3-4周达】精装 Initial Computability, Algebraic Specifications, and Partial Algebras [9783112573419]
【3-4周达】Sailing Routes in the World of Computation: 14th Conference on Computability in Europe, Ci... [9783319944173]
【3-4周达】Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His... [9783319500614]
【3-4周达】Computability of Julia Sets [9783642088063]
【3-4周达】精装 Automata and Computability: A Programmer's Perspective [9781138552425]
【3-4周达】Computation and Logic in the Real World : Third Conference on Computability in Europe, CiE... [9783540730002]
【3-4周达】Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, So... [9783642218743]
【3-4周达】Turing's Revolution : The Impact of His Ideas about Computability (Softcover reprint of th... [9783319793801]
【3-4周达】Turing Computability : Theory and Applications (Softcover reprint of the original 1st ed. ... [9783662568583]
【3-4周达】Logic and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008 Athen... [9783540694052]
【3-4周达】Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, ... [9783319587400]
【3-4周达】Theoretical Computer Science : Introduction to Automata, Computability, Complexity, Algori... [9783642057298]
【3-4周达】Computability and Models : Perspectives East and West [9781461352259]
【3-4周达】精装 Computability Theory: An Introduction to Recursion Theory [9780123849588]
【3-4周达】The Annotated Turing: A Guided Tour Through Alan Turing'S Historic Paper On Computability ... [9780470229057]
Foundations of Logic Completeness, Incompleteness, Computability 逻辑基础:完备性、不完备性、可计算性 9781684000005
预订 精装 Structure and Randomness in Computability and Set Theory [9789813228221]
【3-4周达】Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe,... [9783642030727]
【3-4周达】Computability Theory [9780821873922]
【3-4周达】Computability, Enumerability, Unsolvability: Directions in Recursion Theory - Computabilit... [9780521557368]
【3-4周达】Evolving Computability : 11th Conference on Computability in Europe, CiE 2015, Bucharest, ... [9783319200279]
【3-4周达】How the World Computes: Turing Centenary Conference and 8th Conference on Computability in... [9783642308697]
【3-4周达】精装 Computability and Randomness [9780199230761]
【3-4周达】精装 Computability and Complexity [9780262048620]
预订 精装 Computability in Analysis and Physics: - Computability in Analysis and Physics [9781107168442]
【3-4周达】Computability and Randomness [9780199652600]
【3-4周达】精装 Mathesis Universalis, Computability and Proof [9783030204464]
【3-4周达】Games Iteration Numbers: A Philosophical Introduction to Computability Theory [9781848902985]
【3-4周达】Constructivity and Computability in Historical and Philosophical Perspective (Softcover re... [9789402407075]
英文原版 Computability and Logic 可计算性和逻辑 英文版 进口英语原版书籍
Computability and Logic 可计算性和逻辑 George S. Boolos
Milliken’S Tree Theorem And Its Applications: A Computability-Theoretic Perspective 米利肯树定理及其应用:可计算性理论
【预订】Computability 9783030832018
[预订]Computability 9783030832049
预订 Computability and Complexity
预订 Programs as Diagrams: From Categorical Computability to Computable Categories 图表程序:从范畴可计算性到可计算范畴:
[预订]The Foundations of Computability Theory 9783662624234
【3-4周达】Computability : A Mathematical Sketchbook [9781461269250]
【3-4周达】Computability and Complexity Theory (2nd ed. 2011) [9781489989710]
【3-4周达】精装 Computability [9783030832018]
【3-4周达】Handbook of Computability and Complexity in Analysis [9783030592363]
【3-4周达】Hilbert's Tenth Problem : An Introduction to Logic, Number Theory, and Computability [9781470443993]
【3-4周达】Automata and Computability [9781461273097]
【3-4周达】A Mathematical Primer on Computability [9781848902961]
【3-4周达】Language, Life, Limits : 10th Conference on Computability in Europe, CiE 2014, Budapest, H... [9783319080185]
【3-4周达】Computability and Complexity : Foundations and Tools for Pursuing Scientific Applications [9783031537431]
【3-4周达】Logical Approaches to Computational Barriers : Second Conference on Computability in Europ... [9783540354666]
【3-4周达】精装 Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Al... [9783540140153]
【3-4周达】Computability and Decidability : An Introduction for Students of Computer Science [9783540058694]
【3-4周达】精装 Turing's Revolution : The Impact of His Ideas about Computability (1st ed. 2015) [9783319221557]
【3-4周达】Unity of Logic and Computation : 19th Conference on Computability in Europe, CiE 2023, Bat... [9783031369773]
【3-4周达】Programs as Diagrams: From Categorical Computability to Computable Categories [9783031348297]
【3-4周达】精装 The Foundations of Computability Theory (Second Edition 2020) [9783662624203]
【3-4周达】Reflexive Structures : An Introduction to Computability Theory [9781461283867]
【3-4周达】Revolutions and Revelations in Computability : 18th Conference on Computability in Europe,... [9783031087394]
预订 Computability in Informetrics: Information-labyrinth Function [9783659780295]
【3-4周达】精装 Computability : A Mathematical Sketchbook [9780387941745]
【3-4周达】Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE, 2010, Ponta D... [9783642139611]
【3-4周达】Computability [9783642699672]
【3-4周达】精装 Definability and Computability [9780306110399]
【3-4周达】Higher-Order Computability (Softcover reprint of the original 1st ed. 2015) [9783662517116]
【3-4周达】精装 Computability Theory [9781584882374]
【3-4周达】精装 Handbook of Computability and Complexity in Analysis [9783030592332]
【3-4周达】精装 Ordinal Computability – An Introduction to Infinitary Machines [9783110495621]
【3-4周达】精装 Infinity, Computability and Metamathematics [9781848901308]
【3-4周达】Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science [9780122063824]
【3-4周达】A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and... [9780198529811]
【3-4周达】Proofs and Algorithms : An Introduction to Logic and Computability [9780857291202]
【3-4周达】Twenty Years of Theoretical and Practical Synergies: 20th Conference on Computability in E... [9783031643088]
预订 精装 Theories of Computability [9780521553803]
【3-4周达】精装 Computability: Computable Functions, Logic, and the Foundations of Mathematics [9780981550725]