Combinatorics, Computability and Logic by C.S. Calude & M.J. Dinneen