Електронний каталог

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

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