Handbook of computability theory - Griffor Edward R (1999)