Trivial reals (2003)

by R Downey, D Hirschfeldt, A Nies, F Stephan
Venue:in Proc. 7th and 8th Asian Logic Conference, World Scientific