Електронний каталог наукової бібліотеки НАКККіМ

• Класифікатори
• 510.2 Основи математики

510.23 Формалізм (математичні аспекти)