Definability of recursively enumerable sets in abstract computational complexity theory (1984)

by R Byerly
Venue:Z. Math. Logik Grundlagen Math