Computability, Complexity, Logic. - Börger, Egon (Studies in Logic and the Foundations of Mathematics, 1989)