TY - JOUR AU - Κ. Κυρίτσης TI - Ενορατικός - φορμαλισμός και τα θεωρήματα του Godel. JO - Μαθηματική Επιθεώρηση PY - 1986 SP - 23 EP - 35 VL - 31 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MR_1986__31_a11/ LA - gr ID - MR_1986__31_a11 ER -