Зведений каталог бібліотек Києва
ШкільнякссШкільняк, С. С. Функціонально-екваційні неокласичні логіки: синтаксичні властивості та нормальні форми [Текст] / С.С. Шкільняк // Вісник Київського університету. — Київ, 2000. — 2000. — С. 260-267.
- Ключові слова:
- Анотація:
Досліджуються аксіоматичні числення неокласичних логік функціонально-екваційного рівня. На синтаксичному рівні розглянуті еквівалентні перетворення і нормальні форми, доведена теорема дедукції.
- Є складовою частиною документа:
Вісник Київського університету [Текст]. — Київ, 2000. — 2000. — 549 с.
- Теми документа
