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

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

ШкільнякссШкільняк, С. С.
    Числення секвенційного типу для чистих першопорядкових логік квазіарних предикатів [Текст] / С.С. Шкільняк // Наукові записки Національного університету "Києво-Могилянська академія". — Київ : НаУКМА, 2013. — Т. 141 : Філософія та релігієзнавство. — С. 24-31.

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

логіка, логика, logika, logic ; предикат, predicate ; секвенційні числення, секвенциальные исчисления

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

- Теми документа

  • Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ



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