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

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