scientific article; zbMATH DE number 6307941
From MaRDI portal
Publication:4981458
zbMath1303.03091MaRDI QIDQ4981458
Stanley S. Wainer, Elliott J. Spoors
Publication date: 24 June 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20)
Related Items (1)
This page was built for publication: