Computability, Complexity, Logic. - Börger, Egon (Amsterdam ; New York ; Oxford : North-Holland, 1989)