scientific article; zbMATH DE number 6536267
From MaRDI portal
Publication:3464616
zbMATH Open1357.03089MaRDI QIDQ3464616FDOQ3464616
Andreas Weiermann, Martijn Baartse
Publication date: 27 January 2016
Title of this publication is not available (Why is that?)
First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3464616)
