Bounded Queries in Computability Theory (Progress in Computer Science and Applied Logic (PCS))

Recursion theory in theoretical computer science has been a growing area for over a decade. Using a combination of techniques in recursion theory and combinatorics, this work should appeal to advanced undergraduates seeking an introductory course in recursion theory, as well as graduates.