Publication:4003236
From MaRDI portal
zbMath0746.03039MaRDI QIDQ4003236
Publication date: 18 September 1992
Computational structures; iterative combinatory spaces; first-order computability; index-free recursion theory
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03D75: Abstract and axiomatic computability and recursion theory
Related Items
Unnamed Item, Unconventional algorithms: complementarity of axiomatics and construction, The jump operation for structure degrees, Categorial generalization of algebraic recursion theory, Diagonal fixed points in algebraic recursion theory, Enumeration Reducibility and Computable Structure Theory