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

• Класифікатори та каталоги
• Математична логіка

Некласичні, формальні логічні системи

Підтеми:

• Модальні логіки
• Багатозначні логіки
• Формалізація традиційних логік. Силогістики
• Індуктивна логіка
• Ймовірнісна логіка