Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Oliva, P E-mail: https://www.mathnet.ru/eng/person27416 List of publications on Google Scholar https://mathscinet.ams.org/mathscinet/MRAuthorID/644421 Publications in Math-Net.Ru Citations 2003 1. U. Kohlenbach, P. Oliva, “Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics”, Trudy Mat. Inst. Steklova, 242 (2003),  147–175      ; Proc. Steklov Inst. Math., 242 (2003), 136–164 39 Organisations University of Aarhus