zbMath0173.00902MaRDI QIDQ5559239
Jean Porte
Publication date: 1958
zbMATH Keywords
recursion theory, constructive mathematics
Related Items