Зведений каталог бібліотек Львова
Класифікатори та каталоги
Дедукція. Дедуктивна логіка. Теорія дедуктивних умовиводів
Числення класів
Підтеми:
Логіка відношень. Теорія відношень. Числення відношень. Функтори