Axiom Team: Working On

Spread of the Mathematical Method – Annotating 18th century philosophy and logic

Evaluating Ariadne – Case Study: Quine