Опис документа:
| |
Автор: | Нікітченко М.С., Шкільняк С.С., Вірич Н.В. |
Назва: | Дослідження властивостей чистих неокласичних числень |
Рік: | 2001 |
Сторінок: | С. 297-301 |
Тип документу: |
Стаття |
Головний документ: |
Вісник Київського університету |
Анотація: | Досліджуються синтаксичні властивості неокласичних композиційно-номінативних логік кванторного рівня, для цих логік доводиться теорема дедукції. |
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
|
|
|
Вибачте, зараз проходить оновлення бази системи, тому пошук тимчасово недоступний.
Спробуйте будь ласка через 20 хвилин
|
|