Some computability-theoretic aspects of reals and randomness, in The Notre Dame Lectures (2005)

by R G Downey
Venue:the Lect. Notes Log. 18, Assoc. for Symbol. Logic