Complexity, Logic, and Recursion Theory

Presents coverage of research at the interface of logic, computability theory, and theoretical computer science. This book integrates two approaches to computability.