Зведений каталог бібліотек Тернополя

• Класифікатори та каталоги
• Дедукція. Дедуктивна логіка. Теорія дедуктивних умовиводів

Числення класів

Підтеми:

• Логіка відношень. Теорія відношень. Числення відношень. Функтори