DOI10.1109/TSSC.1969.300251zbMath0182.02201MaRDI QIDQ5573391
B. R. Hunt
Publication date: 1969 Published in: IEEE Transactions on Systems Science and Cybernetics (Search for Journal in Brave)
zbMATH Keywords
recursion theory, constructive mathematics