Computability, Complexity, Logic door Egon Borger & E. B