Logika

Porohyus (232 - 305) membuat suatu pengantar ("eisagoge") pada "Categoriae", salah satu buku Aristoteles.