Medieval and renaissance logic in Spain acts of the 12th European Symposium on Medieval Logic and Semantics, held at the University of Navarre (Pamplona, 26 - 30 May 1997) (Philosophische Texte und Studien, 2000)