%0 Journal Article %A Δ.Α. Αναπολιτάνος %T Τι είναι θεωρία των Αποδείξεων %J Ευκλείδης Γ %D 1990 %P 35-43 %V 27 %I mathdoc %U http://geodesic.mathdoc.fr/item/EUG_1990__27_a16/ %G gr %F EUG_1990__27_a16