Goedelov dokaz : dodatak : O formalno nedokučivim stavcima principia mathematica i srodnih sustava 1 - Nagel, Ernest; Newman, James R.; Hudoletnjak Grgić, Maja; Kirin, Vladimir (Zagreb : KruZak, 2001)
Prijevod djela: Goedel's proff.
Bibliografija: str. 85.
Keywords: Goedel, Kurt -- mathematics -- deductive theory