scientific article
From MaRDI portal
Publication:3679149
zbMath0565.03002MaRDI QIDQ3679149
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory (03Dxx)
Related Items (2)
The independence of control structures in abstract programming systems ⋮ Computational foundations of basic recursive function theory
This page was built for publication:
