Degree theoretic definitions of the low_2 recursively enumerable sets (1995)

by Rod Downey , Richard A. Shore
Venue:J. SYMBOLIC LOGIC
Citations:7 - 5 self