Rekursive Funktionen in mehrsortigen Peano-Algebren

Ulrich L. Hupbach. Rekursive Funktionen in mehrsortigen Peano-Algebren. Elektronische Informationsverarbeitung und Kybernetik, 14(10):491-506, 1978.

Abstract

Abstract is missing.