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 ; s njemačkog preveo Vladimir Kirin