A

Asghari, Amir (2018) Equivalence: An Attempt at a History of the Idea. [Preprint]

B

Bacelar Valente, Mario (2018) Ancient Greek geometry of motion and its further development by Galileo and Newton. [Preprint]

Bacelar Valente, Mario (2019) “Critique of mensurational reason”: on Høyrup’s notion of critique. [Preprint]

Bacelar Valente, Mario (2017) From practical to pure geometry and back. [Preprint]

Bacelar Valente, Mario (2018) On the correctness of ancient mathematical procedure texts. [Preprint]

D

Dal Magro, Tamires and García-Pérez, Manuel J. (2019) On Euclidean diagrams and geometrical knowledge. THEORIA. An International Journal for Theory, History and Foundations of Science, 34 (2). pp. 255-276. ISSN 2171-679X

Darnell, Eamon and Thomas-Bolduc, Aaron (2018) Takeuti's Well-Ordering Proof: Finitistically Fine? [Preprint]

F

Friedman, Michael and Rittberg, Colin Jakob (2019) The Material Reasoning of Folding Paper. [Preprint]

H

Hewitt, Carl (2019) For Cybersecurity, Computer Science Must Rely on Strong Types. [Preprint]

Hewitt, Carl (2019) For Cybersecurity, Computer Science Must Rely on Strongly-Typed Actors. [Preprint]

L

Landry, Elaine (2017) Plato Was NOT A Mathematical Platonist. [Preprint]

P

Patton, Lydia (2018) Laws of Thought and Laws of Logic After Kant. Logic from Kant to Russell.