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