Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen Heinz-Dieter Ebbinghaus OriginalPaper Pages: 39 - 53