Goedelov dokaz - Nagel, Ernest (KruZak, 2001)
Sadrži i : O formalno neodlučivim stavcima Principa Mathematica i srodnih sustava I/ Kurt Goedel; s njemačkog preveo Vladimir Kirin