Complexity, logic, and recursion theory. (2019)

• Record Type: Book
• Further Information: Note: Edited by Andrea Sorbi.
• Editors: Sorbi, Andrea, 1956-
• Contents: Cover; Half Title; Title Page; Copyright Page; Preface; Table of Contents; Contributors; Resource-Bounded Measure and Randomness; Degree Structures in Local Degree Theory; Compressibility of Infinite Binary Sequences; Beyond Gödel's 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
• Publisher Details: Bacon Raton : CRC Press
• Publication Date: 2019
• Extent: 1 online resource
• Subjects: 511.3; Computational complexity; Recursion theory; MATHEMATICS / General; MATHEMATICS / Applied; Electronic books
• Languages: English
• ISBNs: 9780429187490; 0429187491; 9780429529955; 0429529953; 9781482269758; 1482269759; 9780429544651; 0429544650
• Related ISBNs: 9780824700263
• Notes: Note: Includes bibliographical references.; Note: Online resource; title from PDF title page (EBSCO, viewed May 10, 2019).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.