Combinatorial series and recursive equivalence types

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

A. Nerode Fundamenta Mathematicae 58 (1966), 113-141 DOI: 10.4064/fm-58-2-113-141