zbMath0172.29801MaRDI QIDQ5560279
S. Yu. Maslov
Publication date: 1968
zbMATH Keywords
recursion theory, constructive mathematics
Related Items