Search: R72
2019
[1]What is a proof? What should it be? (Christoph Benzmüller), number arXiv:1904.06332, 2019. (See also https://www.researchgate.net/publication/330310239) [bibtex] [doi] [url]