European Symposium on Medieval Logic and Semantics (5th 1980 Rome, Italy)