2005 “Naming and Diagonalization, from Cantor to Gödel to Kleene” To Appear (0)

by H Gaifman
Venue:in Logic Journal of the IGPL, 22 pages, and on Gaifman’s website