From Mathematical Axioms to Mathematical Rules of Proof: Recent Developments in Proof Analysis
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences - United Kingdom
doi 10.1098/rsta.2018.0037
Full Text
Open PDFAbstract
Available in full text
Date
January 21, 2019
Authors
Publisher
The Royal Society