The Vectorized Grzegorczyk Hierarchy
From MaRDI portal
Publication:4135481
DOI10.1002/malq.19760220156zbMath0362.02028MaRDI QIDQ4135481
Publication date: 1976
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19760220156
03D20: Recursive functions and relations, subrecursive hierarchies