Theory and Applications of Computability

Series by Rodney G. Downey