TY  - JOUR
AU  - Δ.Α. Αναπολιτάνος
TI  - Τι είναι θεωρία των Αποδείξεων
JO  - Δελτίο της Ελληνικής Μαθηματικής Εταιρίας

PY  - 1986
SP  - 35
EP  - 43
VL  - 27
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DEME_1986__27_a16/
LA  - gr
ID  - DEME_1986__27_a16
ER  -