Normal view
MARC view
Rödding, D. (Dieter), 1937- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): Symposium "Rekursive Kombinatorik" (1983 : Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen) 37353, Logic and machines :, 1984.