zbMath0184.02301MaRDI QIDQ5575560
Daniel Richardson
Publication date: 1970
zbMATH Keywords
recursion theory, constructive mathematics