Gödel : a life of logic - Casti, John L. (Perseus, 2000)
Obsahuje bibliografii a rejstřík