Зведений каталог бібліотек Львова

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

Некласичні логіки

Підтеми:

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