Goedelov dokaz - Nagel, Ernest (KruZak, 2001)
Prijevod djela: Goedel's proof