Λογικά Συστήματα και Κατηγορίες
Δελτίο της Ελληνικής Μαθηματικής Εταιρίας, Tome 45 (2001), pp. 6-19
Cet article a éte moissonné depuis la source Hellenic Digital Mathematics Library
@article{DEME_2001_45_a18,
author = {\ensuremath{\Pi}\ensuremath{\acute\epsilon}\ensuremath{\tau}\ensuremath{\rho}o\ensuremath{\varsigma} \ensuremath{\Sigma}\ensuremath{\tau}\ensuremath{\varepsilon}\ensuremath{\varphi}\ensuremath{\alpha}\ensuremath{\nu}\ensuremath{\acute\epsilon}\ensuremath{\alpha}\ensuremath{\varsigma}},
title = {\ensuremath{\Lambda}o\ensuremath{\gamma}\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{\kappa}\ensuremath{\alpha}\ensuremath{\iota} {K\ensuremath{\alpha}\ensuremath{\tau}\ensuremath{\eta}\ensuremath{\gamma}o\ensuremath{\rho}\ensuremath{\acute\iota}\ensuremath{\varepsilon}\ensuremath{\varsigma}}},
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 = {6--19},
year = {2001},
volume = {45},
language = {gr},
url = {http://geodesic.mathdoc.fr/item/DEME_2001_45_a18/}
}
Πέτρος Στεφανέας. Λογικά Συστήματα και Κατηγορίες. Δελτίο της Ελληνικής Μαθηματικής Εταιρίας, Tome 45 (2001), pp. 6-19. http://geodesic.mathdoc.fr/item/DEME_2001_45_a18/