Goedelov dokaz - Nagel, Ernest (Kruzak, 2001)
Prijevod djela: Goedel's proof. Sadrži i : O formalno neodlučivim stavcima Principia mathematica i srodnih sustava I/Kurt Goedel; s njemačkog preveo Vladimir Kirin.