Title: Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)