TY - JOUR AU - Ernest Nagel AU - James R. Newman TI - H απόδειξη του Goedel JO - Ευκλείδης Γ PY - 1986 SP - 108 EP - 138 VL - 11 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/EUG_1986__11_a5/ LA - gr ID - EUG_1986__11_a5 ER -