Ordered Subrings of the Reals in which Output Sets are Recursively Enumerable

Autor: Byerly, Robert E.
Zdroj: Proceedings of the American Mathematical Society, 1993 Jun 01. 118(2), 597-601.
Databáze: JSTOR Journals