The Nine Billion Names of God by Arthur C. Clarke (1967) 1st ed hc dj