BioSpecialist in logic, proof theory, and the history and philosophy of formal systems.logicphilosophy of mathematics