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

• Класифікатори та каталоги
• Фундаментальні та загальні питання математики

Формалізація традиційних математичних теорій