Naming and Diagonalization, from Cantor to Godel to Kleene | OUP Journals & Magazine | IEEE Xplore