Number of items at this level: **15**.

## A

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

## B

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
(2019)
*Geometry of motion: some elements of its historical
development.*
Artefactos. Revista de estudios sobre la ciencia y la tecnología, 8 (2).
pp. 4-26.
ISSN 1989-3612

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

Franklin, James
(2017)
*Discrete and continuous: A fundamental dichotomy in mathematics.*
Journal of Humanistic Mathematics, 7 (2).
pp. 355-378.
ISSN 2159-8118

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]

Landsman, Klaas
(2019)
*Quantum theory and functional analysis.*
[Preprint]

## P

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

Penchev, Vasil
*A complement to "Fermat's last theorem proved by induction".*
UNSPECIFIED.

This list was generated on **Fri Feb 28 01:59:24 2020 EST**.