Suchergebnisse - nonnumerical algorithms and problems—complexity of proof praze- dures general terms~