zbMath0186.01102MaRDI QIDQ5579490
Dirk Siefkes
Publication date: 1968
zbMATH Keywords
recursion theory, constructive mathematics