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

## A

Avigad, Jeremy
(2019)
*Reliability of mathematical inference.*
[Preprint]

## B

Bordg, Anthony
(2018)
*Univalent Foundations and the UniMath Library. The Architecture of Mathematics.*
[Preprint]

## D

D'Alessandro, William
(2017)
*Mathematical Explanation Beyond Explanatory Proof.*
The British Journal for the Philosophy of Science.

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

## E

Eastaugh, Benedict
(2018)
*Computational reverse mathematics and foundational analysis.*
[Preprint]

Eastaugh, Benedict
(2018)
*Set existence principles and closure conditions: unravelling the standard view of reverse mathematics.*
[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]

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

Hsiung, Ming
(2018)
*What Paradoxes Depends on.*
[Preprint]

## L

Lampert, Timm
(2017)
*Turing's Fallacies.*
[Preprint]

Larvor, Brendan
(2012)
*How to think about informal proofs.*
Synthese, 187 (2).
pp. 715-730.
ISSN 0039-7857

Larvor, Brendan
(2016)
*Why the Naive Derivation Recipe Model Cannot Explain How Mathematician's Proofs Secure Mathematical Knowledge.*
Philosophia Mathematica, 24 (3).
pp. 401-404.
ISSN 0031-8019

## M

Morris, Rebecca
(2019)
*Do mathematical explanations have instrumental value?*
Synthese.
ISSN 1573-0964

## P

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

## R

Redhead, Michael
(2019)
*A Simplified Version of Gödel’s Theorem.*
[Preprint]

## S

Sarma, Gopal P. and Hay, Nick J.
(2017)
*Robust Computer Algebra, Theorem Proving, and Oracle AI.*
Informatica, 41 (4).
pp. 451-461.

## W

Weber, Keith
(2019)
*The role of syntactic representations in set theory.*
[Preprint]

Werndl, Charlotte
(2009)
*Justifying Definitions in Mathematics—Going Beyond Lakatos.*
[Preprint]

This list was generated on **Tue Oct 15 06:44:03 2019 EDT**.