Персоналии RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB     Oliva P E-mail: https://www.mathnet.ru/rus/person27416 Список публикаций на Google Scholar https://mathscinet.ams.org/mathscinet/MRAuthorID/644421 Публикации в базе данных Math-Net.Ru Цитирования 2003 1. U. Kohlenbach, P. Oliva, “Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics”, Труды МИАН, 242 (2003),  147–175      ; Proc. Steklov Inst. Math., 242 (2003), 136–164 39 Организации University of Aarhus