La lógica en Salamanca durante la primera mitad del siglo XVI