scientific article
From MaRDI portal
Publication:3975129
zbMath0735.03017MaRDI QIDQ3975129
Martin Loebl, Jaroslav Nešetřil
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveyPeano arithmeticprimitive recursive functionsprovably total functionshierarchies of fast growing functions
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20)
This page was built for publication:
