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

 

ШкільнякссШкільняк, С. С.
    Фукнціонально-екваційні неокласичні логіки: числення секвенційного типу [Текст] / С.С. Шкільняк // Вісник Київського університету. — Київ, 2000. — 2000. — С. 302-309.


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

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

- Анотація:

Пропонуються аксіоматичні системи секвенційного типу для неокласичних логік функціонально-екваційного рівня. Доводиться теорема повноти, розглядаються її наслідки.

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

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

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



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