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