scientific article; zbMATH DE number 3353255
From MaRDI portal
Publication:5628105
zbMath0223.02029MaRDI QIDQ5628105
No author found.
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Computability and recursion theory (03Dxx)
Related Items
Induction rules, reflection principles, and provably recursive functions ⋮ New substitution bases for complexity classes
