On methods of function introduction and related concepts

Uwe Egly. On methods of function introduction and related concepts. PhD thesis, TH Darmstadt, 1995.

Abstract

Abstract is missing.