Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Kohlenbach, U E-mail: Website: https://www2.mathematik.tu-darmstadt.de/~kohlenbach/ https://www.mathnet.ru/eng/person27415 List of publications on Google Scholar https://mathscinet.ams.org/mathscinet/MRAuthorID/320906 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 Presentations in Math-Net.Ru 1. Applications of proof theory to core mathematics: Recent developments U. Kohlenbach Logical Perspectives 2021: Conference June 10, 2021 16:00    Organisations Technische Universität Darmstadt University of Aarhus