TY - JOUR AU - Δ.Α. Αναπολιτάνος TI - Τι είναι θεωρία των Αποδείξεων JO - Ευκλείδης Γ PY - 1990 SP - 35 EP - 43 VL - 27 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/EUG_1990__27_a16/ LA - gr ID - EUG_1990__27_a16 ER -