Metamathematics, machines, and Godel's proof - Shankar N (Cambridge CambridgeUniversity Press, 1994)
Bibliography 189-196p; Index 197-202p
Keywords: Mathematics and Computers