zbMath0167.01602MaRDI QIDQ5552754
W. E. Singletary
Publication date: 1967
zbMATH Keywords
recursion theory, constructive mathematics
Related Items