%0 Journal Article %A Πέτρος Στεφανέας %T Λογικά Συστήματα και Κατηγορίες %J Ευκλείδης Γ %D 1996 %P 6-19 %V 45 %I mathdoc %U http://geodesic.mathdoc.fr/item/EUG_1996__45_a18/ %G gr %F EUG_1996__45_a18