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