Books in “Theory and Applications of Computability”