Comments on Hilbert's Program and Gödel's Incompleteness Theorem

1. David M. Burton, The History of Mathematics, McGraw-Hill, New York, 1997, pp. 560-563.
2. Douglas R. Hofstadter, Gödel, Escher, Bach: An Eternal Golden Braid, Vintage Books, New York, 1979.