Электронный каталог

    страница из
    всего найдено записей: 1,
      отображать

    Kohlenbach U. Applied proof theory: proof interpretations and their use in mathematics / U. Kohlenbach, 2008 r=on-line. - Текст : электронный.