Publication:3905265
From MaRDI portal
zbMath0457.03037MaRDI QIDQ3905265
Publication date: 1980
03D20: Recursive functions and relations, subrecursive hierarchies
zbMath0457.03037MaRDI QIDQ3905265
Publication date: 1980
03D20: Recursive functions and relations, subrecursive hierarchies