Publication:4145697
From MaRDI portal
zbMath0368.02042MaRDI QIDQ4145697
Publication date: 1978
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03D30: Other degrees and reducibilities in computability and recursion theory
03D60: Computability and recursion theory on ordinals, admissible sets, etc.
Related Items