La Logica 7. Il Medioevo, da Anselmo a Abelardo