zbMath0188.02804MaRDI QIDQ5581621
Vladimir Lifschitz
Publication date: 1967
zbMATH Keywords
recursion theory, constructive mathematics
Related Items