zbMath0192.05603MaRDI QIDQ5586301
I. A. Lavrov
Publication date: 1962
zbMATH Keywords
recursion theory, constructive mathematics
Related Items