Some Theorems on Classes of Recursively Enumerable Sets

Autor: Dekker, J. C. E., Myhill, J.
Zdroj: Transactions of the American Mathematical Society, 1958 Sep 01. 89(1), 25-59.
Databáze: JSTOR Journals