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
$300.00
$255.00
x

FREE Standard Shipping!

Description

"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:
MAT003000
MATHEMATICS / Applied