Database of Medieval Latin Texts on Logic and Semantics in Medieval Manuscripts, Founded on the Card Files of Professor em. L.M. de Rijk