Publication:4163516
From MaRDI portal
zbMath0383.03023MaRDI QIDQ4163516
Publication date: 1978
03F60: Constructive and recursive analysis
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
68W99: Algorithms in computer science
03D60: Computability and recursion theory on ordinals, admissible sets, etc.
03Dxx: Computability and recursion theory
Related Items
The equivalence of some general combinatorial decision problems, Expressive power of typed and type-free programming languages, The word problem and the isomorphism problem for groups