zbMath0193.31303MaRDI QIDQ5588643
S. Yu. Maslov
Publication date: 1967
zbMATH Keywords
recursion theory, constructive mathematics