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

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

НікітченкоНікітченко, М. С.
    Дослідження властивостей чистих неокласичних числень [Текст] / М.С. Нікітченко, С.С. Шкільняк, Н.В. Вірич // Вісник Київського університету. — Київ, 2000. — 2000. — С. 297-301.

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

математична логіка, математическая логика ; неокласичні логіки, неоклассические логики

- Анотація:

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

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

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

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



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