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