Computability, complexity, logic (North-Holland, 1989)
Includes index. - Translation of: Berechenbarkeit, Komplexitat, Logik