Computability and logic (2. ed.)