References
Dirk Schlimm
Research in history and philosophy of mathematics: the CSHPM 2017 annual meeting in Toronto, Ontario2018
with Zack Maria (ed)
Basel, Birkhäuser
On the creative role of axiomatics. the discovery of lattices by Schröder, Dedekind, Birkhoff, and others
2011
Synthese 183/1
Learning from the existence of models: on psychic machines, tortoises, and computer simulations
2009
Synthese 169/3
Against against intuitionism
2005
Synthese 147/1