Back to Results
First PageMeta Content
Mathematical 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 i
Add to Reading List

Document Date: 2012-11-12 10:21:17


Open Document

File Size: 373,73 KB

Share Result on Facebook
UPDATE