Michael Deutsch. Zur Gödelisierungsfreien Darstellung der Rekursiven und Primitiv-Rekursiven Funktionen und Rekursiv Aufzählbaren Prädikate Über Quotiententermmengen. Math. Log. Q., 26(1-6):1-32, 1980. [doi]
No references recorded for this publication.
No citations of this publication recorded.