TY  - JOUR
AU  - Κ. Κυρίτσης
TI  - Τυπικά αξιωματικά Συστήματα (Στα πλαίσια πρωτοβάθμιας Γλώσσας με ισότητα).
JO  - Μαθηματική Επιθεώρηση

PY  - 1986
SP  - 63
EP  - 72
VL  - 31
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MR_1986__31_a15/
LA  - gr
ID  - MR_1986__31_a15
ER  -