An introduction to hyperarithmetical functions
From MaRDI portal
Publication:5532534
DOI10.2307/2270774zbMath0153.00801MaRDI QIDQ5532534
Publication date: 1967
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2270774
Related Items
Recursive Functions of One Variable, Representing hyper-arithmetical sets by equations over sets of integers
Cites Work