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

• Класифікатори та каталоги
• Парадокси. Антиномії. Логічні помилки

Логические теории. Логические исчисления

Підтеми:

• Алгебра логики. Алгебра высказываний, алгебра классов (логика классов), алгебра отношений. Нормальные формы: конъюнктивная и дизъюнктивная
• Классическая (двузначная) логика
• Неклассическая логика

Документи:

• Логические теории временных контекстов [Текст] : временная логика / отв. ред. В. М. Попович. — Киев : Наукова думка, 1981. — 150 с.
• О некоторых гибридных моделях субъективного анализа в теории активных систем [Текст] / В.А. Касьянов, К. Шафран // Матеріали XI Міжнародної науково-технічної конференції "Авіа-2013", 21-23 травня 2013 р. / МОН України, НАН України, Національне космічне агентство України, Національний авіаційний університет ДП "АНТОНОВ" ; Кулик М.С., голова. — Київ : НАУ, 2013. — С. 6.81-6.85.