On effectively discontinuous type-2 objects
From MaRDI portal
Publication:5629626
DOI10.2307/2270259zbMath0224.02034MaRDI QIDQ5629626
Publication date: 1971
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2270259
03D20: Recursive functions and relations, subrecursive hierarchies
Related Items
Cites Work