CL

The Classical Decision Problem

Computability, Complexity, Logic