Journal of Mathematical Logic. 2017;17(2):1750008-. doi: 10.1142/S0219061317500088 Q10.92025
A Friedberg enumeration of equivalence structures
DOI: 10.1142/S0219061317500088
摘要
Journal of Mathematical Logic. 2017;17(2):1750008-. doi: 10.1142/S0219061317500088 Q10.92025
DOI: 10.1142/S0219061317500088
摘要