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
Abstract

Available in full text

Date
Authors
Publisher

The Royal Society