scientific article; zbMATH DE number 5053656
From MaRDI portal
Publication:5488131
zbMath1098.03067MaRDI QIDQ5488131
Publication date: 13 September 2006
Full work available at URL: https://eudml.org/doc/22714
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20) Hierarchies of computability and definability (03D55)
Related Items (1)
This page was built for publication: