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

DOI10.1002/MALQ.19630091204zbMATH Open0163.25101OpenAlexW2066882252MaRDI QIDQ5547574FDOQ5547574

Authors: 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

Cited In (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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5547574)