zbMath0173.01004MaRDI QIDQ5559244
V. P. Orevkov
Publication date: 1965
zbMATH Keywords
recursion theory, constructive mathematics
Related Items