Effective cofinalities and admissibility in E-recursion

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

E. Griffor, Dag Normann Fundamenta Mathematicae 123 (1984), 151-161 DOI: 10.4064/fm-123-3-151-161