BioWorks on Wittgenstein, history of logic, and philosophy of mathematics.philosophy of mathematicshistory of mathematics