Why the naïve Derivation Recipe model cannot explain how mathematicians’ proofs secure mathematical knowledge
Larvor, B.30 Apr 2016In : Philosophia Mathematica.Research output: Contribution to journal› Article
| Original language | English |
|---|---|
| Journal | Philosophia Mathematica |
| Journal publication date | 30 Apr 2016 |
| State | Accepted/In press - 30 Apr 2016 |