1. Главная
  2. Ресурсы
  3. Библиотечный поиск
  4. Журнал «Вестник Красноярского государственного университета»
  5. Выпуск 2006 г. Том Физико-математические науки. № 9

Разрешимость по допустимости правил вывода некоторых линейных логик
статья из журнала

Полный текстЗаказать копию статьи
База данных: Каталог библиотеки СФУ
Библиографическое описание: Кошелева, Анна Владимировна. Разрешимость по допустимости правил вывода некоторых линейных логик / А. В. Кошелева. - Текст : непосредственный // Вестник Красноярского государственного университета. - 2006. - Физико-математические науки, № 9. - С. 59-63. - Библиогр. в конце ст.
Год издания: 2006
Авторы: Кошелева Анна Владимировна
Источник: Вестник Красноярского государственного университета
Выпуск: № 9
Номера страниц: 59-63
Количество экземпляров:

Всего свободно 2 из 2 экземпляров.

  • Информационно-библиографический отдел (пр. Свободный, 79, к. Б3-09): свободно 1 из 1 экземпляров
  • Книгохранилище научной литературы (пр. Свободный, 79, 3 этаж): свободно 1 из 1 экземпляров

Цифровые и тематические книжные коллекции издания