Зведений каталог бібліотек Києва

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

ИевлеваиеИевлева, И. Е.
    Построение секвенциального исчисления для пропозиционального фрагмента логики PIL [Текст] / И.Е. Иевлева // Гуманітарні студії : збірник наукових праць. — Київ, 2007. — Вип. 1. — С. 57-60.

- Ключові слова:

класична логіка, классическая логика ; некласична логіка, неклассическая логика ; секвенціальні обчислення, секвенциальные исчисления

- Є складовою частиною документа:

Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка   Перейти на сайт