Електронний каталог наукової бібліотеки НАКККіМ

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

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

Підтеми:

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