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