Nonrecursive combinatorial functions
From MaRDI portal
Publication:5668793
DOI10.2307/2272550zbMath0254.02033MaRDI QIDQ5668793
Publication date: 1972
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272550
03D50: Recursive equivalence types of sets and structures, isols
03D99: Computability and recursion theory
Related Items
Cites Work