Cobos, J. A mathematician out of his time: Ventura Reyes Prosper. (English) Zbl 0883.01027 Extr. Math. 11, No. 2, 306-314 (1996). The paper aims at including Ventura Reyes Prosper (1863-1922) into the row of Spanish mathematicians who introduced modern mathematical ideas in Spain. After sketching his career the author hints at Reyes Prosper’s contributions to his two main fields of research: symbolic logic and non-Euclidean geometry. In logic Reyes Prosper was above all concerned with surveys of the main conceptions of the mathematical logic of his time. On this topic he published seven papers in El progreso matĂ©matico between 1891 and 1894 which were intended as steps towards a comprehensive history of symbolic logic which, if it ever had been completed, would have been the first of its kind. A list of works of Reyes Prosper is enclosed with this paper. Reviewer: V.Peckhaus (Erlangen) MSC: 01A70 Biographies, obituaries, personalia, bibliographies 01A55 History of mathematics in the 19th century 01A60 History of mathematics in the 20th century Keywords:modern mathematics; Spain; historiography of symbolic logic; non-Euclidean geometry; biography; bibliography Biographic References: Reyes Prosper, V. PDF BibTeX XML Cite \textit{J. Cobos}, Extr. Math. 11, No. 2, 306--314 (1996; Zbl 0883.01027) Full Text: EuDML