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

DOI10.1002/MALQ.19630091204MaRDI QIDQ5547574zbMATH OpenOpenAlexFDO

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)