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

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

Комбінаторна логіка