Proof Mining: A Systematic Way of Analysing Proofs in Mathematics (2002)

by Ulrich Kohlenbach , Paulo B. Oliva
Citations:15 - 5 self

Document Versions

Proof Mining: A Systematic Way of Analysing Proofs in Mathematics –Ulrich Kohlenbach, Paulo B. Oliva — 2002
Proof Mining: A Systematic Way Of Analysing Proofs In Mathematics –Ulrich Kohlenbach, Paulo Oliva — 2003 — PROCEEDINGS OF THE STEKLOV INSTITUTE OF MATHEMATICS