Complexity, Logic, and Recursion Theory: 1st Edition (Paperback) book cover

Complexity, Logic, and Recursion Theory

1st Edition

By Andrea Sorbi

CRC Press

384 pages

Purchasing Options:$ = USD
Paperback: 9780824700263
pub: 1997-02-04
SAVE ~$45.00
Currently out of stock

FREE Standard Shipping!


"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."

Table of Contents

Resource-bounded measure and randomness; degree structures in local degree theory; compressibility of infinite binary sequences; beyond Godel'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; the convenience of Tiling. (Part contents).

About the Series

Lecture Notes in Pure and Applied Mathematics

Learn more…

Subject Categories

BISAC Subject Codes/Headings: