Publication:3754609
From MaRDI portal
zbMath0618.03021MaRDI QIDQ3754609
Publication date: 1985
03D60: Computability and recursion theory on ordinals, admissible sets, etc.
zbMath0618.03021MaRDI QIDQ3754609
Publication date: 1985
03D60: Computability and recursion theory on ordinals, admissible sets, etc.