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

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