zbMath0178.31903MaRDI QIDQ5567853
Anil Nerode
Publication date: 1962
zbMATH Keywords
recursion theory, constructive mathematics
Related Items