The Problem of Proof Identity, and Why Computer Scientists Should Care About Hilbert's 24th Problem
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences - United Kingdom
doi 10.1098/rsta.2018.0038
Full Text
Open PDFAbstract
Available in full text
Date
January 21, 2019
Authors
Publisher
The Royal Society