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

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

    Dowek G. Proofs and Algorithms : An Introduction to Logic and Computability / by Gilles Dowek., 2011 r=on-line. - Текст : электронный.

    Dowek G. Principles of programming languages / G. Dowek, 2009 r=on-line. - Текст : электронный.