zbMath0192.06401MaRDI QIDQ5586322
S. Yu. Maslov
Publication date: 1964
zbMATH Keywords
recursion theory, constructive mathematics