zbMath0162.02103MaRDI QIDQ5544286
S. Yu. Maslov
Publication date: 1966
zbMATH Keywords
recursion theory, constructive mathematics
Related Items