On A Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory

DOI10.1002/malq.19630091204zbMath0163.25101OpenAlexW2066882252MaRDI QIDQ5547574

Albert A. Mullin

Publication date: 1963

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19630091204

zbMATH Keywords

recursion theory, constructive mathematics

Related Items (1)

Squarefree smooth numbers and Euclidean prime generators

This page was built for publication: On A Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory