Prolegomena to any theory of proof simplicity

From MaRDI portal
Publication:5204801

DOI10.1098/rsta.2018.0035zbMath1441.03007OpenAlexW2911087137WikidataQ92982878 ScholiaQ92982878MaRDI QIDQ5204801

Victor V. Pambuccian

Publication date: 5 December 2019

Published in: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1098/rsta.2018.0035




Related Items (3)


Uses Software



Cites Work




This page was built for publication: Prolegomena to any theory of proof simplicity