TY  - JOUR
AU  - Δ.Α. Αναπολιτάνος
TI  - Τι είναι θεωρία των Αποδείξεων
JO  - Μαθηματική Επιθεώρηση
PY  - 1984
SP  - 35
EP  - 43
VL  - 27
UR  - http://geodesic.mathdoc.fr/item/MR_1984_27_a16/
LA  - gr
ID  - MR_1984_27_a16
ER  -