zbMath0165.31801MaRDI QIDQ5551459
S. Yu. Maslov
Publication date: 1967
zbMATH Keywords
recursion theory, constructive mathematics
Related Items