Classes of Recursive Functions and Their Index Sets

DOI10.1002/malq.19710170134zbMath0229.02035OpenAlexW2072911183MaRDI QIDQ5636863

Forbes D. Lewis

Publication date: 1971

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19710170134

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items

Index sets and presentations of complexity classes ⋮ Unnamed Item ⋮ Research in the theory of inductive inference by GDR mathematicians - A survey ⋮ Diem-Grade Logischer Entscheidungsprobleme