Publication:3362657
From MaRDI portal
zbMath0769.03029MaRDI QIDQ3362657
Publication date: 1992
03D65: Higher-type and set recursion theory
Related Items
zbMath0769.03029MaRDI QIDQ3362657
Publication date: 1992
03D65: Higher-type and set recursion theory
Related Items