TY - JOUR AU - Πέτρος Στεφανέας TI - Λογικά Συστήματα και Κατηγορίες JO - Ευκλείδης Γ PY - 1996 SP - 6 EP - 19 VL - 45 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/EUG_1996__45_a18/ LA - gr ID - EUG_1996__45_a18 ER -