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

• Класифікатори та каталоги
• Логістика. Символічна логіка. Математична логіка. Логічне числення

Модальна логіка. Логіка відношень. Логіка включення. Числення функцій. Числення ієрархій. Функції з багатьма змінними

Підтеми:

• Співвідношення
• Комбінація співвідношень
• Ієрархія типів. Обчислення ієрархій

Документи:

• Аналіз екзистенційних припущень у модальній логіці та ідеї мультимодальної логіки існування [Текст] / Г. Поляк // KORP/Філософська думка : український науково-теоретичний часопис. — К. : Академперіодика, 2010. — 2010. — С. 79-88.