Computability, Complexity, Logic

Translation of “Berechenbarkeit, Komplexität, Logik” (1985, 1986, 1992)