Goedelov dokaz : dodatak : O formalno nedokučivim stavcima principia mathematica i srodnih sustava 1 - Nagel, Ernest (KruZak, 2001)
Prijevod djela: Goedel's proff.