Stav dette: Computability and logic /