On Formal Proofs

DOI10.1007/978-88-470-0784-0_2zbMath1211.03085OpenAlexW39905673MaRDI QIDQ3654812

Andrea Cantini

Publication date: 11 January 2010

Published in: Deduction, Computation, Experiment (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-88-470-0784-0_2

zbMATH Keywords

formal proofsextraction of informationproof-mining

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Methodology of mathematics (00A35) Proof theory in general (including proof-theoretic semantics) (03F03)

This page was built for publication: On Formal Proofs