Complexity, Logic, and Recursion Theory

Name: Complexity, Logic, and Recursion Theory
Brand: CRC Press

CRC Press

Presents coverage of research at the interface of logic, computability theory, and theoretical computer science. This book integrates two approaches to computability. > \""Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides informtion not easily accessible in the literature.\"" > Preface, Contributors, Resource-Bounded Measure and Randomness, Degree Structures in Local Degree Theory, Compressibility of Infinite Binary Sequences, Beyond G\u00F6del\u2019s Theorem: The Failure to Capture Information Content, Progressions of Theories of Bounded Arithmetic, On Presentations of Algebraic Structures, Witness-Isomorphic Reductions and Local Search, A Survey of Inductive Inference with an Emphasis on Queries, A Uniformity of Degree Structures, Short Course on Logic, Algebra, and Topology, The Enumeration D.