First Page | Document Content | |
---|---|---|
Date: 2012-11-12 10:21:17Mathematical logic Quantification Logic Semantics Peano axioms Symbol Constructible universe Universal quantification Interpretation Uniform boundedness principle Witness Combinatory logic | PROOF MINING: A SYSTEMATIC WAY OF ANALYSING PROOFS IN MATHEMATICS ULRICH KOHLENBACH AND PAULO OLIVA Abstract. We call proof mining the process of logically analyzing proofs in mathematics with the aim of obtaining new iAdd to Reading ListSource URL: www.mathematik.tu-darmstadt.deDownload Document from Source WebsiteFile Size: 373,73 KBShare Document on Facebook |
Demo Rules |: This is the subroutine symbol, and it only appears on ice. Each symbol marks a single subroutine on a piece of ice.DocID: 1xVp5 - View Document | |
Aquis Exchange Monthly Statistics Top Stocks by Value (EUR) Stock SymbolDocID: 1xVaq - View Document | |
Aquis Exchange Monthly Statistics Top Stocks by Value (EUR) Stock SymbolDocID: 1xUvn - View Document | |
Aquis Exchange Monthly Statistics Top Stocks by Value (EUR) Stock SymbolDocID: 1xTnG - View Document | |
Symbol Legend Job posting website Community Service Recruitment AgencyDocID: 1vrEw - View Document |