scientific article; zbMATH DE number 7324257
From MaRDI portal
Publication:5854676
zbMath1457.03072arXiv1201.1121MaRDI QIDQ5854676
Publication date: 17 March 2021
Full work available at URL: https://arxiv.org/abs/1201.1121
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20)
This page was built for publication: