D.R. Hofstadter, Gödel, Escher, Bach: Ett evigt gyllene band ( svensk översättning 1985);
E. Nagel & J. Newman, Gödel’s Proof ( 1958);
B. Rosser, ”An informal proof of Gödel’s and Church’s theorems”, Journal of Symbolic Logic 1939.
Vill du få tillgång till hela artikeln?

Källangivelse
Nationalencyklopedin, Litteraturanvisning. http://www.ne.se/uppslagsverk/encyklopedi/lång/gödels-ofullständighetssats/litteraturanvisning