BioWorks on ancient mathematics, logic, and philosophy of mathematical reasoning.history of mathematicsphilosophy of mathematics