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

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

    Лицевая сторона карточкиОбратная сторона карточки

    Poernomo I. Adapting proofs-as-programs : the curry-howard protocol / I. Poernomo, J. Crossley, M. Wirsing, 2005 r=on-line. - Текст : электронный.