TY - GEN AU - Val,J A. TI - Un lógico y matemático español del siglo XIX: Ventura Reyes y Prosper ER -