Τυπικά αξιωματικά Συστήματα (Στα πλαίσια πρωτοβάθμιας Γλώσσας με ισότητα).
Δελτίο της Ελληνικής Μαθηματικής Εταιρίας, Tome 31 (1990), pp. 63-72
Cet article a éte moissonné depuis la source Hellenic Digital Mathematics Library
@article{DEME_1990_31_a15,
author = {K. K\ensuremath{\upsilon}\ensuremath{\rho}\ensuremath{\acute\iota}\ensuremath{\tau}\ensuremath{\sigma}\ensuremath{\eta}\ensuremath{\varsigma}},
title = {T\ensuremath{\upsilon}\ensuremath{\pi}\ensuremath{\iota}\ensuremath{\kappa}\ensuremath{\acute\alpha} \ensuremath{\alpha}\ensuremath{\xi}\ensuremath{\iota}\ensuremath{\omega}\ensuremath{\mu}\ensuremath{\alpha}\ensuremath{\tau}\ensuremath{\iota}\ensuremath{\kappa}\ensuremath{\acute\alpha} {\ensuremath{\Sigma}\ensuremath{\upsilon}\ensuremath{\sigma}\ensuremath{\tau}\ensuremath{\acute\eta}\ensuremath{\mu}\ensuremath{\alpha}\ensuremath{\tau}\ensuremath{\alpha}} {(\ensuremath{\Sigma}\ensuremath{\tau}\ensuremath{\alpha}} \ensuremath{\pi}\ensuremath{\lambda}\ensuremath{\alpha}\ensuremath{\acute\iota}\ensuremath{\sigma}\ensuremath{\iota}\ensuremath{\alpha} \ensuremath{\pi}\ensuremath{\rho}\ensuremath{\omega}\ensuremath{\tau}o\ensuremath{\beta}\ensuremath{\acute\alpha}\ensuremath{\theta}\ensuremath{\mu}\ensuremath{\iota}\ensuremath{\alpha}\ensuremath{\varsigma} {\ensuremath{\Gamma}\ensuremath{\lambda}\ensuremath{\acute\omega}\ensuremath{\sigma}\ensuremath{\sigma}\ensuremath{\alpha}\ensuremath{\varsigma}} \ensuremath{\mu}\ensuremath{\varepsilon} \ensuremath{\iota}\ensuremath{\sigma}\'{o}\ensuremath{\tau}\ensuremath{\eta}\ensuremath{\tau}\ensuremath{\alpha}).},
journal = {\ensuremath{\Delta}\ensuremath{\varepsilon}\ensuremath{\lambda}\ensuremath{\tau}\ensuremath{\acute\iota}o \ensuremath{\tau}\ensuremath{\eta}\ensuremath{\varsigma} E\ensuremath{\lambda}\ensuremath{\lambda}\ensuremath{\eta}\ensuremath{\nu}\ensuremath{\iota}\ensuremath{\kappa}\ensuremath{\acute\eta}\ensuremath{\varsigma} M\ensuremath{\alpha}\ensuremath{\theta}\ensuremath{\eta}\ensuremath{\mu}\ensuremath{\alpha}\ensuremath{\tau}\ensuremath{\iota}\ensuremath{\kappa}\ensuremath{\acute\eta}\ensuremath{\varsigma} E\ensuremath{\tau}\ensuremath{\alpha}\ensuremath{\iota}\ensuremath{\rho}\ensuremath{\acute\iota}\ensuremath{\alpha}\ensuremath{\varsigma}},
pages = {63--72},
year = {1990},
volume = {31},
language = {gr},
url = {http://geodesic.mathdoc.fr/item/DEME_1990_31_a15/}
}
Κ. Κυρίτσης. Τυπικά αξιωματικά Συστήματα (Στα πλαίσια πρωτοβάθμιας Γλώσσας με ισότητα).. Δελτίο της Ελληνικής Μαθηματικής Εταιρίας, Tome 31 (1990), pp. 63-72. http://geodesic.mathdoc.fr/item/DEME_1990_31_a15/