Goedelov dokaz : dodatak : O formalno nedokučivim stavcima principia mathematica i srodnih sustava 1 - Nagel, Ernest (Biblioteka Miscellanea, 2001)