La prova di Gödel - Nagel, Ernest (Bollati Boringhieri, 1992)