Title: Libellus isagogicus. Tr : Johannes Hispalensis. Add : Johannes de Saxonia