scientific article
From MaRDI portal
Publication:2702283
zbMath1018.03005MaRDI QIDQ2702283
Publication date: 5 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
functionalsrecursivenessprimitive recursive functionsKleene-Mostowski hierarchyGrzegorczyk hierarchyconstructive foundations of mathematicsdevelopment of recursion theoryhistory of recursion theorymodels of theories
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Computability and recursion theory (03Dxx)
This page was built for publication: