Zur Eigenschaft primitiv-rekursiver Funktionen, unendlich viele Werte anzunehmen
Volume 42 / 1955
Fundamenta Mathematicae 42 (1955), 166-167
DOI: 10.4064/fm-42-1-166-167