Zur Gödelisierungsfreien Darstellung der Rekursiven und Primitiv-Rekursiven Funktionen und Rekursiv Aufzählbaren Prädikate Über Quotiententermmengen

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]

Authors

Michael Deutsch

This author has not been identified. Look up 'Michael Deutsch' in Google