1. Главная
  2. Ресурсы
  3. Библиотечный поиск
  4. Журнал Сибирского федерального университета. Математика и физика
  5. Выпуск 2023 г. Том 16. № 5

Criterion of Global Admissibility for Logic IPC
статья из журнала

Полный текстЗаказать копию статьи
База данных: Каталог библиотеки СФУ
Библиографическое описание: Rimatskiy, Vitaliy. Criterion of Global Admissibility for Logic IPC = Критерий глобальной допустимости в логике IPC / V. V. Rimatskiy. - Текст : непосредственный // Журнал Сибирского федерального университета. Математика и физика. - 2023. - Т. 16, № 5. - С. 620-627. - Библиогр.: с. 626-627. - ISSN 1997-1397.
Аннотация: В работе исследуется глобальная допустимость правил вывода в интуиционистской пропозициональной логике IPC.
Год издания: 2023
Авторы: Rimatskiy Vitaliy
Источник: Журнал Сибирского федерального университета. Математика и физика
Выпуск: Т. 16, № 5
Номера страниц: 620-627
Количество экземпляров:

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

  • Информационно-библиографический отдел (пр. Свободный, 79, к. Б3-09): свободно 1 из 1 экземпляров
  • Электронный читальный зал (пер. Вузовский, 3, к. 131): свободно 1 из 1 экземпляров
  • Информационно-библиографический отдел (ул. Лиды Прушинской, 2, к. 3-06): свободно 1 из 1 экземпляров