Pekonen, O. Kurt Gödel – suurin loogikko Aristoteleen jälkeen. TT 2006, 24.