Computability, complexity, logic - Börger, E. (Egon), 1946- (Studies in logic and the foundations of mathematics ;, 1989)