Griffor Edward R Handbook of computability theory - 1999 Standard No.: 7275 Source: Textual Dewey Class. No.: D6,8(B)g, N9