%0 Journal Article
%A U. Kohlenbach
%A P. Oliva
%T Proof Mining: A~Systematic Way of Analyzing Proofs in Mathematics
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 2003
%P 147-175
%V 242
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TM_2003_242_a12/
%G en
%F TM_2003_242_a12