Richard L. Epstein -- Chapter 14. Towards a Theory of Mathematical Argument; Ian J. Dove