Goedelov dokaz - Nagel, Ernest; Newman, James R. (Zagreb : 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
Bibliografske bilješke uz tekst
Keywords: Goedel, Kurt -- deduktivna teorija