Computability, complexity, logic - Borger, E. (Studies in logic and the foundations of mathematics ; ;, 1989)