Publication:3679149
From MaRDI portal
zbMath0565.03002MaRDI QIDQ3679149
Publication date: 1982
01A60: History of mathematics in the 20th century
03-03: History of mathematical logic and foundations
03D20: Recursive functions and relations, subrecursive hierarchies
03Dxx: Computability and recursion theory
Related Items
The independence of control structures in abstract programming systems, Computational foundations of basic recursive function theory