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