TY - JOUR AU - Κ. Γαβρίλης TI - Η έμμεση απόδειξη η απαγωγή σε άτοπο (=οδήγημα σε αδύνατο συμπέρασμα) JO - Ευκλείδης Γ PY - 1984 SP - 32 EP - 33 VL - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/EUG_1984__3_a108/ LA - gr ID - EUG_1984__3_a108 ER -