scientific article; zbMATH DE number 3383999
From MaRDI portal
Publication:5654032
zbMath0243.02034MaRDI QIDQ5654032
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Higher-type and set recursion theory (03D65)
Related Items (7)
Effective applicative structures ⋮ Unnamed Item ⋮ Generalizing Computability Theory to Abstract Algebras ⋮ Feferman on Computability ⋮ Iterated Inductive Definitions Revisited ⋮ Towards a computation system based on set theory ⋮ Computation by `While' programs on topological partial algebras
This page was built for publication:
