Definability of recursively enumerable sets in a class of recursion theoretic structures (1983)

by R Byerly
Venue:J. Symbolic Logic