Title: Historia virorum doctorum Andalusiae (dictionarium biographicum)