Historian of mathematics and logic